[Pkg-haskell-commits] [package-plan] 01/03: Agda's cabal file was revised

Joachim Breitner nomeata at moszumanska.debian.org
Fri Apr 3 15:59:37 UTC 2015


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

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

commit 3f409ead833d93606f8ba10e0e74e3874180151c
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Fri Apr 3 17:41:47 2015 +0200

    Agda's cabal file was revised
---
 packages.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/packages.txt b/packages.txt
index fe91aa9..df76d50 100644
--- a/packages.txt
+++ b/packages.txt
@@ -6,7 +6,7 @@ adjunctions 4.2
 aeson 0.8.0.2
 aeson-pretty 0.7.2
 aeson-qq 0.7.4
-Agda 2.4.2.2 obsolete # needs old hashtables
+Agda 2.4.2.2
 alex 3.1.4 binary
 algebra 4.2
 ALUT 2.3.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