hdiff
packages
feed
HaRe
-0.6: tools/hs2isabelle/Flags.ghc
IsabelleCmds.hs: -fno-monomorphism-restriction