[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.4+dfsg-1-9-g5832734
Iain Lane
laney at ubuntu.com
Tue Jan 5 23:44:46 UTC 2010
The following commit has been merged in the master branch:
commit b6de00a5e6db481390060900858ed9057f1437dd
Author: Iain Lane <laney at ubuntu.com>
Date: Sat Dec 26 23:35:31 2009 +0000
New upstream release 2.2.6
* New upstream release 2.2.6, for headlines please see:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6
* debian/control
+ Bump standards-version to 3.8.3, no changes
+ Fix Vcs-Git to point to correct URL
+ Update build-depends for new upstream release
+ Undo arch/indep split per current pkg-haskell practice
* debian/copyright: Fix encoding to UTF-8 (thanks Lintian)
* debian/README.source: Remove, no repacking so not necessary any more
* debian/50agda.el:
+ Only load file if it exists, prevents a non-intrusive emacs warning
where 50agda.el is left on system when package is removed.
(Closes: #559197).
diff --git a/debian/README.source b/debian/README.source
deleted file mode 100644
index 6c00b18..0000000
--- a/debian/README.source
+++ /dev/null
@@ -1,18 +0,0 @@
-The upstream tarball was downloaded from:
-
- http://hackage.haskell.org/package/Agda
-
-It has been repacked to include two licensing changes from upstream VCS head:
-
- - The LICENSE file in 2.2.4 release neglected to mention the license of the
- file src/full/Agda/Utils/ReadP.hs. This was subsequently included.
-
- - The 2.2.4 released tarball had a copy of /src/full/Agda/Utils/Trie.hs that
- was implemented by Keith Wansborough. Its licensing status was unclear.
- An upstream developer, Ulf Norrell, reimplemented the code in the file and
- thus the situation is now cleaned up.
-
-As both of these changes are in upstream's VCS already, there will be no need
-for any repacking after the next release and so no get-orig-source has been
-added.. The DFSGed upstream tarball can be recreated using pristine-tar from
-the git repository hosted on Alioth.
diff --git a/debian/changelog b/debian/changelog
index 645c9ae..4ab56a5 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,20 @@
-agda (2.2.4+dfsg-2) UNRELEASED; urgency=low
-
- * debian/control: Bump standards-version to 3.8.3, no changes
- * debian/control: Fix Vcs-Git to point to correct URL
+agda (2.2.6-1) UNRELEASED; urgency=low
+
+ * New upstream release 2.2.6, for headlines please see:
+ http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Version-2-2-6
+ * debian/control
+ + Bump standards-version to 3.8.3, no changes
+ + Fix Vcs-Git to point to correct URL
+ + Update build-depends for new upstream release
+ + Undo arch/indep split per current pkg-haskell practice
* debian/copyright: Fix encoding to UTF-8 (thanks Lintian)
+ * debian/README.source: Remove, no repacking so not necessary any more
+ * debian/50agda.el:
+ + Only load file if it exists, prevents a non-intrusive emacs warning
+ where 50agda.el is left on system when package is removed.
+ (Closes: #559197).
- -- Iain Lane <laney at ubuntu.com> Wed, 30 Sep 2009 10:40:50 +0100
+ -- Iain Lane <laney at ubuntu.com> Tue, 05 Jan 2010 20:18:52 +0000
agda (2.2.4+dfsg-1) unstable; urgency=low
diff --git a/debian/control b/debian/control
index fbf605e..7df4cf2 100644
--- a/debian/control
+++ b/debian/control
@@ -8,8 +8,8 @@ Build-Depends: debhelper (>= 7.0),
cdbs (>> 0.4.58),
ghc6 (>= 6.10.3-2~),
ghc6-prof (>= 6.10.3-2~),
- libghc6-quickcheck2-dev (>= 2.1.0.1),
- libghc6-quickcheck2-dev (<< 2.1.0.1+),
+ libghc6-quickcheck2-dev (>= 2.1.0.2),
+ libghc6-quickcheck2-dev (<< 2.2.0.0),
libghc6-binary-dev (>= 0.4.4),
libghc6-binary-dev (<< 0.6),
libghc6-haskeline-dev (>= 0.3),
@@ -24,8 +24,8 @@ Build-Depends: debhelper (>= 7.0),
libghc6-xhtml-dev (<< 3000.3),
libghc6-zlib-dev (>= 0.4.0.1),
libghc6-zlib-dev (<< 1),
- libghc6-quickcheck2-prof (>= 2.1.0.1),
- libghc6-quickcheck2-prof (<< 2.1.0.1+),
+ libghc6-quickcheck2-prof (>= 2.1.0.2),
+ libghc6-quickcheck2-prof (<< 2.2.0.0),
libghc6-binary-prof (>= 0.4.4),
libghc6-binary-prof (<< 0.6),
libghc6-haskeline-prof (>= 0.3),
@@ -47,25 +47,25 @@ Build-Depends: debhelper (>= 7.0),
hscolour (>= 1.8),
ghc6-doc (>= 6.10.3-2~),
haddock (>= 2.4.2),
- libncurses5-dev
-Build-Depends-Indep: libghc6-quickcheck2-doc (>= 2.1.0.1),
- libghc6-quickcheck2-doc (<< 2.1.0.1+),
- libghc6-binary-doc (>= 0.4.4),
- libghc6-binary-doc (<< 0.6),
- libghc6-haskeline-doc (>= 0.3),
- libghc6-haskeline-doc (<< 0.7),
- libghc6-haskell-src-doc (>= 1.0.1.1),
- libghc6-haskell-src-doc (<< 2),
- libghc6-mtl-doc (>= 1.1),
- libghc6-mtl-doc (<< 2),
- libghc6-terminfo-doc,
- libghc6-utf8-string-doc (>= 0.3),
- libghc6-utf8-string-doc (<< 0.4),
- libghc6-xhtml-doc (>= 3000.2),
- libghc6-xhtml-doc (<< 3000.3),
- haskell-zlib-doc (>= 0.4.0.1),
- haskell-zlib-doc (<< 1)
-Standards-Version: 3.8.2
+ libncurses5-dev,
+ libghc6-quickcheck2-doc (>= 2.1.0.2),
+ libghc6-quickcheck2-doc (<< 2.2.0.0),
+ libghc6-binary-doc (>= 0.4.4),
+ libghc6-binary-doc (<< 0.6),
+ libghc6-haskeline-doc (>= 0.3),
+ libghc6-haskeline-doc (<< 0.7),
+ libghc6-haskell-src-doc (>= 1.0.1.1),
+ libghc6-haskell-src-doc (<< 2),
+ libghc6-mtl-doc (>= 1.1),
+ libghc6-mtl-doc (<< 2),
+ libghc6-terminfo-doc,
+ libghc6-utf8-string-doc (>= 0.3),
+ libghc6-utf8-string-doc (<< 0.4),
+ libghc6-xhtml-doc (>= 3000.2),
+ libghc6-xhtml-doc (<< 3000.3),
+ haskell-zlib-doc (>= 0.4.0.1),
+ haskell-zlib-doc (<< 1)
+Standards-Version: 3.8.3
Vcs-Browser: http://git.debian.org/?p=pkg-haskell/agda.git;a=summary
Vcs-Git: git://git.debian.org/git/pkg-haskell/agda.git
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list