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

Jens Petersen petersen at fedoraproject.org
Tue Jun 11 08:28:37 UTC 2013

Previous message: [ghc-derive] update to new simplified Haskell Packaging Guidelines
Next message: [heimdall/f17] (3 commits) ...Add new sources
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

b3549b00b8643426a09e94461764cf26  Agda-2.3.2.1.tar.gz

Previous message: [ghc-derive] update to new simplified Haskell Packaging Guidelines
Next message: [heimdall/f17] (3 commits) ...Add new sources
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list