[Pkg-haskell-commits] [package-plan] 219/457: Bump Agda

[Joachim Breitner]

This is an automated email from the git hooks/post-receive script.

nomeata pushed a commit to branch master
in repository package-plan.

commit 94ad2b41fe1d2ead86d8a6fefef352fde9125985
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Sat Nov 9 08:09:46 2013 +0000

    Bump Agda
---
 packages.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages.txt b/packages.txt
index 2840ea1..46bf8f9 100644
--- a/packages.txt
+++ b/packages.txt
@@ -3,7 +3,7 @@ active 0.1.0.4
 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

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/package-plan.git