Various packages (WAS: [Fedora-haskell-list] Mass closure of submissions?)

[Bryan O'Sullivan]

2008/6/23 Miles Sabin <miles at milessabin.com>:

>  ghc682-agda-2.1.3-0.20080311.fc8

This should properly be named agda2, I believe, since that's the upstream name.

Also, due to the simplification of the ghc packaging in rawhide, these
should have a plain "ghc-" prefix, without the version numbering.

Good stuff otherwise. I'm glad to see these go in!