[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.6-1-5-g77b4584

[Iain Lane]

The following commit has been merged in the master branch:
commit 77b4584ed9fed643972c06659cc1eeabf7bb393d
Author: Iain Lane <laney at ubuntu.com>
Date:   Sun Jan 17 01:53:49 2010 +0000

    Tag for release
    
    This release might seem to contain only a trivial change, but actually
    this is something that is really wanted for the agda-stdlib package if
    it is to contain documentation (agda-bin will refuse to work in --html
    mode if Agda.css is not present).

diff --git a/debian/changelog b/debian/changelog
index d72b816..88399cc 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,9 @@
-agda (2.2.6-2) UNRELEASED; urgency=low
+agda (2.2.6-2) unstable; urgency=low
 
   * debian/control: Set priority to extra per archive overrides
   * debian/copyright: Update upstream source to a more generic location 
-  * debian/libghc6-agda-dev.install: Install Agda.css, needed to generate HTML
-    documentation.
+  * debian/rules, debian/libghc6-agda-dev.install: Install Agda.css, needed
+    to generate HTML documentation.
 
  -- Iain Lane <laney at ubuntu.com>  Sun, 10 Jan 2010 11:29:17 +0000
 

-- 
Packaging for Agda