produces:
eucrypt_ch8_bit_keccak (eucrypt) eucrypt/smg_bit_keccak/tests/smg_bit_keccak-test.adb
consumes: