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

[Iain Lane]

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

    Update copyright to new version

diff --git a/debian/copyright b/debian/copyright
index 92dcef3..79c9351 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,17 +1,13 @@
 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.2/Agda-2.2.2.tar.gz
+Upstream-Source: http://hackage.haskell.org/packages/archive/Agda/2.2.4/Agda-2.2.4.tar.gz
 
 Files: *
 Copyright: 2005-2009, Ulf Norell, Catarina Coquand, Makoto Takeyama,
            Nils Anders Danielsson, Andreas Abel, Karl Mehltretter, Marcin Benke
 License: MIT
 
-Files: src/full/Agda/Utils/Trie.hs
-Copyright: Copyright 2005, Keith Wansbrough
-License: Other
-
 Files: src/full/Agda/Utils/ReadP.hs
 Copyright: Copyright 2002, The University of Glasgow
 License: Other
@@ -22,7 +18,9 @@ Copyright: 2009, Iain Lane <laney at ubuntu.com>,
 License: MIT
 
 License: MIT
-  Copyright (c) 2005-2009 .
+  Copyright (c) 2005-2009 Ulf Norell, Nils Anders Danielsson, Catarina
+    Coquand, Makoto Takeyama, Andreas Abel, Karl Mehltretter, Marcin
+    Benke.
 
   Permission is hereby granted, free of charge, to any person obtaining a copy
   of this software and associated documentation files (the "Software"), to deal

-- 
Packaging for Agda