File Agda-2.3.2.1.tar.gz uploaded to lookaside cache by petersen

Jens Petersen petersen at fedoraproject.org
Fri Jun 14 09:43:04 UTC 2013

Previous message: [openstack-nova] Fix version_string issue
Next message: [Agda] Agda hackage (ghc-Agda) replaces deprecated Agda-executable
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

A file has been added to the lookaside cache for Agda:

b3549b00b8643426a09e94461764cf26  Agda-2.3.2.1.tar.gz

Previous message: [openstack-nova] Fix version_string issue
Next message: [Agda] Agda hackage (ghc-Agda) replaces deprecated Agda-executable
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list