[pkgdb] ghc-Agda ownership changed

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

Previous message: [pkgdb] ghc-Agda (un)retirement
Next message: [Bug 984333] Unlock password dialog sometimes lacks keyboard focus
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Package ghc-Agda in Fedora 19 is now owned by petersen

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

Previous message: [pkgdb] ghc-Agda (un)retirement
Next message: [Bug 984333] Unlock password dialog sometimes lacks keyboard focus
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the haskell-devel mailing list