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

Bryan O'Sullivan bos at
Tue Jun 24 13:32:44 UTC 2008

2008/6/23 Miles Sabin <miles at>:

>  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!

More information about the Fedora-haskell-list mailing list