produces:
eucrypt_ch8_bit_keccak (eucrypt) eucrypt/smg_bit_keccak/tests/smg_bit_keccak_test.gpr
consumes:
eucrypt_ch12_wrapper_rsa_oaep_c_ada (eucrypt) eucrypt/smg_bit_keccak/tests/smg_bit_keccak_test.gpr