[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.6-2-15-ged8f3c7

Iain Lane laney at ubuntu.com
Thu Mar 11 23:24:27 UTC 2010


The following commit has been merged in the master branch:
commit ed8f3c7827b3bbc91df1d533af29f4b8f52ad135
Author: Iain Lane <laney at ubuntu.com>
Date:   Thu Mar 11 23:24:16 2010 +0000

    Close a bug

diff --git a/debian/changelog b/debian/changelog
index a67b655..a2d50ae 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -5,7 +5,7 @@ agda (2.2.6-4) unstable; urgency=low
     resources on some architectures. Not having it should allow agda to build
     in many more places though, so this is a win.
   * debian/control, debian/rules, debian/watcher.sh: Remove the ticker which
-    should no longer be necessary due to the above.
+    should no longer be necessary due to the above. (Closes: #572300)
 
  -- Iain Lane <laney at ubuntu.com>  Sat, 27 Feb 2010 20:35:10 +0000
 

-- 
Packaging for Agda



More information about the Pkg-haskell-commits mailing list