[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