produces:
eucrypt_ch6_keccak_permutations (eucrypt) eucrypt/smg_keccak/smg_keccak.gpr
consumes: