produces:
eucrypt_ch6_keccak_permutations (eucrypt) eucrypt/smg_keccak/tests/smg_keccak-test.adb
consumes:
eucrypt_ch7_keccak_sponge (eucrypt) eucrypt/smg_keccak/tests/smg_keccak-test.adb