[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.3.2-2-2-gb401554

Joachim Breitner nomeata at debian.org
Wed May 29 12:16:57 UTC 2013


The following commit has been merged in the master branch:
commit b401554ea21b85c6c3dea4da11bd12f0705c2e07
Author: Joachim Breitner <nomeata at debian.org>
Date:   Wed May 29 14:06:27 2013 +0200

    Tag for release

diff --git a/debian/changelog b/debian/changelog
index 5dc649f..7965f64 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,8 @@
-agda (2.3.2-3) UNRELEASED; urgency=low
+agda (2.3.2-3) unstable; urgency=low
 
   * Clean up build dependencies 
 
- -- Joachim Breitner <nomeata at debian.org>  Wed, 29 May 2013 14:05:37 +0200
+ -- Joachim Breitner <nomeata at debian.org>  Wed, 29 May 2013 14:06:03 +0200
 
 agda (2.3.2-2) unstable; urgency=low
 

-- 
Packaging for Agda



More information about the Pkg-haskell-commits mailing list