petersen uploaded Agda-2.4.2.2.tar.gz for Agda

notifications at fedoraproject.org notifications at fedoraproject.org
Fri Apr 3 04:25:00 UTC 2015

Previous message: petersen pushed to haskell-platform (master). "bump QuickCheck, alex, happy, and cabal-install to newer versions"
Next message: petersen pushed to Agda (master). "update to 2.4.2.2"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

3608c4305d32af66807c8189ffc719f5  Agda-2.4.2.2.tar.gz
	http://pkgs.fedoraproject.org/lookaside/pkgs/Agda/Agda-2.4.2.2.tar.gz/3608c4305d32af66807c8189ffc719f5/Agda-2.4.2.2.tar.gz

Previous message: petersen pushed to haskell-platform (master). "bump QuickCheck, alex, happy, and cabal-install to newer versions"
Next message: petersen pushed to Agda (master). "update to 2.4.2.2"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the scm-commits mailing list