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 <trei...@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 <trei...@debian.org> Tue, 05 Nov 2013 16:16:03 +0100 + -- Ralf Treinen <trei...@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.conc...@lri.fr> Évelyne Contejean <evelyne.contej...@lri.fr> -Source: http://alt-ergo.lri.fr/#download + alt-ergo-b...@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 <filli...@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 <dog...@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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits