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

Jens Petersen petersen at fedoraproject.org
Thu Oct 31 06:50:51 UTC 2013

Previous message: [ctstream/f20] Version 9 bump
Next message: [oscap-anaconda-addon/f20] New version
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

ec8cc8bcf6efcaf8d684bc8da6356a1c  Agda-2.3.2.2.tar.gz

Previous message: [ctstream/f20] Version 9 bump
Next message: [oscap-anaconda-addon/f20] New version
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list