produces:
eucrypt_ch9_keccak_endianness
(eucrypt) eucrypt/smg_keccak/tests/smg_keccak-test.adb
consumes:
eucrypt_ch10_oaep_tmsr
(eucrypt) eucrypt/smg_keccak/tests/smg_keccak-test.adb