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