[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.6-1-2-gb6103e6
Iain Lane
laney at ubuntu.com
Sat Jan 9 21:40:48 UTC 2010
The following commit has been merged in the master branch:
commit b6103e61cdcb7c30833af41225fb6bcdc2070586
Author: Iain Lane <laney at ubuntu.com>
Date: Sat Jan 9 21:40:22 2010 +0000
Update upstream source to a more generic location
diff --git a/debian/changelog b/debian/changelog
index 0ea8e70..255556c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,9 @@
agda (2.2.6-2) UNRELEASED; urgency=low
* debian/control: Set priority to extra per archive overrides
+ * debian/copyright: Update upstream source to a more generic location
- -- Iain Lane <laney at ubuntu.com> Thu, 07 Jan 2010 19:53:10 +0000
+ -- Iain Lane <laney at ubuntu.com> Sat, 09 Jan 2010 21:39:32 +0000
agda (2.2.6-1) unstable; urgency=low
diff --git a/debian/copyright b/debian/copyright
index 8a17e99..09f3e42 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,7 +1,7 @@
Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=196
Upstream-Name: Agda
Upstream-Maintainer: Ulf Norell <ulfn at chalmers.se>
-Upstream-Source: http://hackage.haskell.org/packages/archive/Agda/2.2.4/Agda-2.2.4.tar.gz
+Upstream-Source: http://hackage.haskell.org/package/Agda
Files: *
Copyright: 2005-2009, Ulf Norell, Catarina Coquand, Makoto Takeyama,
--
Packaging for Agda
More information about the Pkg-haskell-commits
mailing list