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