https://bugzilla.redhat.com/show_bug.cgi?id=839152
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |CLOSED Resolution|--- |DEFERRED Last Closed| |2012-07-11 05:11:56
--- Comment #2 from Jens Petersen petersen@redhat.com --- Actually this only needed for Agda-stdlib development I think, to generate "Everything" but it is also generated in the src tarball.
haskell-devel@lists.fedoraproject.org