[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.2-1
Iain Lane
laney at debian.org
Wed Apr 10 09:52:33 UTC 2013
The following commit has been merged in the master branch:
commit 2c972c36e1f333708eea3bfb8a79e2a7f5610061
Author: Iain Lane <laney at debian.org>
Date: Wed Apr 10 10:50:44 2013 +0100
Finalise changelog
Git-Dch: Ignore
diff --git a/debian/changelog b/debian/changelog
index 00ebc98..06b8dcd 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-agda (2.3.2-1) UNRELEASED; urgency=low
+agda (2.3.2-1) experimental; urgency=low
[ Kiwamu Okabe ]
* New patch: Extend haskell-src-exts dependency and fix type miss.
@@ -12,7 +12,7 @@ agda (2.3.2-1) UNRELEASED; urgency=low
* [9e0ba22] Add agda-bin package here, as the separate package has been
removed
- -- Iain Lane <laney at debian.org> Tue, 25 Dec 2012 13:58:37 +0000
+ -- Iain Lane <laney at debian.org> Wed, 10 Apr 2013 10:50:09 +0100
agda (2.3.0.1-2) unstable; urgency=low
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list