produces:
eucrypt_crc32_divtronic (eucrypt) eucrypt/crc32/tests/test_crc32_edge.adb
consumes: