[Pkg-ocaml-maint-commits] [SCM] alt-ergo packaging branch, master, updated. upstream/0.8-20-g72993ee
Mehdi Dogguy
dogguy at pps.jussieu.fr
Thu Feb 26 14:05:43 UTC 2009
The following commit has been merged in the master branch:
commit 72993ee301ce3c951c14c0cbbb870e961e42b976
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date: Thu Feb 26 15:03:43 2009 +0100
Fix lintian's versionless-license-file
diff --git a/debian/copyright b/debian/copyright
index b1a3572..890324f 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -551,4 +551,4 @@ Version 1.0 dated 2006-09-05.
The Debian packaging is © 2008, Mehdi Dogguy <dogguy at pps.jussieu.fr> and
-is licensed under the GPL, see `/usr/share/common-licenses/GPL'.
+is licensed under the GPL, see `/usr/share/common-licenses/GPL-2'.
--
alt-ergo packaging
More information about the Pkg-ocaml-maint-commits
mailing list