produces:
eucrypt_oaep_fix_checks (eucrypt) eucrypt/smg_keccak/tests/smg_keccak-test.adb
consumes:
eucrypt_keccak_bitrate_fix (eucrypt) eucrypt/smg_keccak/tests/smg_keccak-test.adb