[Pkg-haskell-commits] [SCM] Packaging for agda commandline executable branch, master, updated. upstream/2.2.4-12-g28910ed

[Iain Lane]

The following commit has been merged in the master branch:
commit d3f90ff93ba0ace09c915af934c359583682d7ca
Author: Iain Lane <laney at ubuntu.com>
Date:   Sun Jul 26 20:09:58 2009 +0100

    Rename some occurences of old source/binary package name

diff --git a/debian/agda.install b/debian/agda-bin.install
similarity index 100%
rename from debian/agda.install
rename to debian/agda-bin.install
diff --git a/debian/changelog b/debian/changelog
index 707b580..63d661a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-agda-executable (2.2.4-1) UNRELEASED; urgency=low
+agda-bin (2.2.4-1) UNRELEASED; urgency=low
 
   * Initial release (Closes: #537705)
 
diff --git a/debian/rules b/debian/rules
index be0283d..149a8dd 100755
--- a/debian/rules
+++ b/debian/rules
@@ -3,4 +3,4 @@
 include /usr/share/cdbs/1/rules/debhelper.mk
 include /usr/share/cdbs/1/class/hlibrary.mk
 
-build/agda:: build-ghc6-stamp
+build/agda-bin:: build-ghc6-stamp

-- 
Packaging for agda commandline executable