[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