[pkgdb] ghc-Agda (un)retirement

Fedora PackageDB pkgdb at fedoraproject.org
Fri Sep 13 01:25:35 UTC 2013

Previous message: [ghc-Agda/f19] (8 commits) ...moved/renamed to Agda package
Next message: File arm-boot-config-0.59.tar.bz2 uploaded to lookaside cache by blc
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Package ghc-Agda in Fedora 19 has been retired by petersen

To make changes to this package see:
  https://admin.fedoraproject.org/pkgdb/acls/name/ghc-Agda

Previous message: [ghc-Agda/f19] (8 commits) ...moved/renamed to Agda package
Next message: File arm-boot-config-0.59.tar.bz2 uploaded to lookaside cache by blc
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list