[Pkg-haskell-commits] darcs: tools: Bump Agda
Joachim Breitner
mail at joachim-breitner.de
Sat Nov 9 08:14:33 UTC 2013
Sat Nov 9 08:09:46 UTC 2013 Joachim Breitner <mail at joachim-breitner.de>
* Bump Agda
M ./all-packages/packages.txt -1 +1
Sat Nov 9 08:09:46 UTC 2013 Joachim Breitner <mail at joachim-breitner.de>
* Bump Agda
diff -rN -u old-tools/all-packages/packages.txt new-tools/all-packages/packages.txt
--- old-tools/all-packages/packages.txt 2013-11-09 08:14:32.855060008 +0000
+++ new-tools/all-packages/packages.txt 2013-11-09 08:14:33.043068513 +0000
@@ -3,7 +3,7 @@
adjunctions 3.0.1
aeson 0.6.1.0
aeson-lens 0.5.0.0
-Agda 2.3.2.1
+Agda 2.3.2.2
alex 3.1.0
algebra 3.1
ALUT 2.2.0.0
More information about the Pkg-haskell-commits
mailing list