produces:
ffa_ch14_barrett.kv (ffa) ffa/libffa/fz_lomul.ads
consumes:
ffa_ch15_gcd.kv (ffa) ffa/libffa/fz_lomul.ads