[Pkg-ocaml-maint-commits] [alt-ergo] 01/02: update debian/copyright

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository alt-ergo.

commit 0413dbdbe0b7b9942856b9ba3987979e36d40c29
Author: Ralf Treinen <treinen at pps.univ-paris-diderot.fr>
Date:   Thu Nov 7 17:16:57 2013 +0100

    update debian/copyright
---
 debian/changelog |   14 ++++++++++----
 debian/copyright |   18 ++++++------------
 2 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 7146a79..4a8b43c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -13,11 +13,17 @@ alt-ergo (0.95.2-1) UNRELEASED; urgency=low
     - 0008-Split-install-pack-into-two-separate-targets-opt-and.patch
     - 0009-clean-remove-META.patch
   * Add build-dependency on libzarith-ocaml-dev
-  * debian/rules: drop backup of .depend which is no longer needed
-  * debian/rules: drop setting of mandir in configure
-  * debian/rules: in dh_auto_build target, drop touching of configure
+  * debian/rules:
+    - drop backup of .depend which is no longer needed
+    - drop setting of mandir in configure
+    - in dh_auto_build target, drop touching of configure
+  * debian/copyright:
+    - update Download field to ocamlpro
+    - Upstream Contact : add alt-ergo-bugs mailing list
+    - Update copyright holder and year for files *
+    - Put paragraphs into the right order
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 05 Nov 2013 16:16:03 +0100
+ -- Ralf Treinen <treinen at debian.org>  Thu, 07 Nov 2013 17:15:55 +0100
 
 alt-ergo (0.95.1-3) unstable; urgency=low
 
diff --git a/debian/copyright b/debian/copyright
index e517f80..ee9fb55 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -2,27 +2,21 @@ Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
 Upstream-Name: alt-ergo
 Upstream-Contact: Sylvain Conchon <Sylvain.Conchon at lri.fr>
 		  Évelyne Contejean <Evelyne.Contejean at lri.fr>
-Source: http://alt-ergo.lri.fr/#download
+		  alt-ergo-bugs at lists.ocaml.pro
+Source: http://alt-ergo.ocamlpro.com/download.php
+
+Files: *
+Copyright: Copyright (C) 2006-2013 CNRS - INRIA - Universite Paris Sud 
+License: CeCILL-C
 
 Files: configure.in Makefile.in
 Copyright: © 2001 Jean-Christophe FILLIÂTRE <filliatr at lri.fr>
 License: LGPL-2
 
-Files: *.ml *.mll *.mly *.mli
-Copyright: © 2006-2011 Sylvain Conchon
-           © 2006-2011 Evelyne Contejean
-           © 2006-2011 Francois Bobot
-           © 2006-2011 Mohamed Iguernelala
-           © 2006-2011 Stephane Lescuyer
-           © 2006-2011 Alain Mebsout
-           © 2006-2011 CNRS-LRI-Universite Paris Sud
-License: CeCILL-C
-
 Files: debian/*
 Copyright: © 2008, Mehdi Dogguy <dogguy at pps.jussieu.fr>
 License: GPL-2
 
-
 License: CeCILL-C
                   CeCILL-C FREE SOFTWARE LICENSE AGREEMENT
  .

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/alt-ergo.git