[Pkg-haskell-commits] [package-plan] 01/01: Agda can be upgraded without issues
Joachim Breitner
nomeata at moszumanska.debian.org
Fri Aug 29 16:55:17 UTC 2014
This is an automated email from the git hooks/post-receive script.
nomeata pushed a commit to branch master
in repository package-plan.
commit 0652aa13f547746e4ba8b05ec8b0490b5a7de7cc
Author: Joachim Breitner <mail at joachim-breitner.de>
Date: Fri Aug 29 09:55:10 2014 -0700
Agda can be upgraded without issues
---
packages.txt | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/packages.txt b/packages.txt
index 3053c4e..87190a3 100644
--- a/packages.txt
+++ b/packages.txt
@@ -5,7 +5,7 @@ active 0.1.0.16
adjunctions 4.1.0.1
aeson 0.7.0.3
aeson-pretty 0.7.1
-Agda 2.4.0.2 group=new-binary
+Agda 2.4.2 group=new-binary
alex 3.1.3 binary
ALUT 2.2.0.0
AMI 0.1
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-haskell/package-plan.git
More information about the Pkg-haskell-commits
mailing list