[Pkg-haskell-commits] [SCM] Packaging for Agda branch, master, updated. debian/2.2.2-1-13-ga13aff6

Iain Lane laney at ubuntu.com
Tue Jul 21 12:00:26 UTC 2009


The following commit has been merged in the master branch:
commit a13aff64cd8d948078bfbf3d551a0fd136881323
Author: Iain Lane <laney at ubuntu.com>
Date:   Tue Jul 21 12:57:45 2009 +0100

    Add README.source file documenting the repacking.

diff --git a/debian/README.source b/debian/README.source
new file mode 100644
index 0000000..6c00b18
--- /dev/null
+++ b/debian/README.source
@@ -0,0 +1,18 @@
+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.

-- 
Packaging for Agda



More information about the Pkg-haskell-commits mailing list