produces:
eucrypt_ch10_oaep_tmsr (eucrypt) eucrypt/smg_keccak/smg_keccak.ads
keccak (vtools) vtools/src/smg_keccak.ads
consumes:
eucrypt_ch16_bytestream_keccak (eucrypt) eucrypt/smg_keccak/smg_keccak.ads
vdiff_keccak (vtools) vtools/src/smg_keccak.ads