[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.3.pl3+dfsg-2-8-g7ea6f00

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7ea6f0085c0c5ba14e846bad255923e505e7b168
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Mar 27 07:57:05 2012 +0200

    Update changelog and prepare upload to unstable

diff --git a/debian/changelog b/debian/changelog
index 05e3385..2dc21b7 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,8 +1,11 @@
-coq (8.3.pl4+dfsg-1) UNRELEASED; urgency=low
+coq (8.3.pl4+dfsg-1) unstable; urgency=low
 
   * New upstream release
+  * Replace proofgeneral-coq by proofgeneral in dependencies
+  * Switch debian/copyright to format 1.0
+  * Bump Standards-Version to 3.9.3
 
- -- Stéphane Glondu <glondu at debian.org>  Tue, 27 Mar 2012 07:50:16 +0200
+ -- Stéphane Glondu <glondu at debian.org>  Tue, 27 Mar 2012 07:59:07 +0200
 
 coq (8.3.pl3+dfsg-2) unstable; urgency=low
 
diff --git a/debian/copyright b/debian/copyright
index 6ff2511..4a84b1d 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,25 +1,23 @@
-Packaged-By: Fernando Sanchez <fer at debian.org>
-Packaged-Date: Fri, 03 Dec 1999 22:06:04 +0100
-Original-Source-Location: http://coq.inria.fr/
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 
-Files: *
-Copyright: © 1999-2010 The Coq development team,
-                       INRIA, CNRS, University Paris Sud,
-                       University Paris 7, Ecole Polytechnique.
 License: LGPL-2.1
+ The Coq Proof Assistant is distributed under the terms of the GNU
+ Lesser General Public Licence, version 2.1, see
+ /usr/share/common-licenses/LGPL-2.1.
 
-  This product includes also software developed by
-    Pierre Crégut, France Telecom R & D (plugins/omega and plugins/romega)
-    Pierre Courtieu and Julien Forest, CNAM (plugins/funind)
-    Claudio Sacerdoti Coen, HELM, University of Bologna, (plugins/xml)
-    Pierre Corbineau, Radbout University, Nijmegen (declarative mode)
-    John Harrison, University of Cambridge (csdp wrapper)
-
-  The file /usr/share/doc/coq/CREDITS.gz contains a list of contributors.
-
-  The Coq Proof Assistant is distributed under the terms of the GNU
-  Lesser General Public Licence, version 2.1, see
-  /usr/share/common-licenses/LGPL-2.1.
+Files: *
+Copyright: 1999-2010, The Coq development team,
+                      INRIA, CNRS, University Paris Sud,
+                      University Paris 7, Ecole Polytechnique.
+License: LGPL-2.1
+ This product includes also software developed by
+   Pierre Crégut, France Telecom R & D (plugins/omega and plugins/romega)
+   Pierre Courtieu and Julien Forest, CNAM (plugins/funind)
+   Claudio Sacerdoti Coen, HELM, University of Bologna, (plugins/xml)
+   Pierre Corbineau, Radbout University, Nijmegen (declarative mode)
+   John Harrison, University of Cambridge (csdp wrapper)
+ .
+ The file /usr/share/doc/coq/CREDITS.gz contains a list of contributors.
 
 Files: debian/*
 Copyright: © 1999-2000 Fernando Sanchez <fer at debian.org>

-- 
coq packaging