[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