https://bugzilla.redhat.com/show_bug.cgi?id=839260
Jens Petersen petersen@redhat.com changed:
What |Removed |Added ---------------------------------------------------------------------------- Status|MODIFIED |POST Flags| |fedora-cvs?
--- Comment #8 from Jens Petersen petersen@redhat.com --- Thanks for reviewing the package.
Strictly this is not a Haskell package but let me keep it under the SIG for now.
New Package SCM Request ======================= Package Name: Agda-stdlib Short Description: Agda standard library Owners: petersen Branches: f20 f19 el6 InitialCC: haskell-sig
haskell-devel@lists.fedoraproject.org