produces:
eucrypt_ch7_keccak_sponge
(eucrypt) eucrypt/smg_keccak/smg_keccak.adb
consumes:
eucrypt_ch9_keccak_endianness
(eucrypt) eucrypt/smg_keccak/smg_keccak.adb