summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2012-03-27 07:57:05 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2012-03-27 08:18:52 +0200
commit7ea6f0085c0c5ba14e846bad255923e505e7b168 (patch)
treed901ebd652c87ca8c7598624abfd5f500e37506d
parent62d9cc7bb328a0a3a803f9b638a398fc4fec1ad9 (diff)
Update changelog and prepare upload to unstabledebian/8.3.pl4+dfsg-1
-rw-r--r--debian/changelog7
-rw-r--r--debian/copyright36
2 files changed, 22 insertions, 21 deletions
diff --git a/debian/changelog b/debian/changelog
index 05e33857..2dc21b79 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@debian.org> Tue, 27 Mar 2012 07:50:16 +0200
+ -- Stéphane Glondu <glondu@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 6ff2511f..4a84b1db 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -1,25 +1,23 @@
-Packaged-By: Fernando Sanchez <fer@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@debian.org>