The following commit has been merged in the master branch:
commit c6d7693ccbfa57dcbf9496f1c510eb8ed6683297
Author: Ralf Treinen <trei...@free.fr>
Date: Fri Apr 1 18:28:29 2011 +0200
update copyright notes
diff --git a/debian/dose3-copyright b/debian/dose3-copyright
index cf1c058..8b014c3 100644
--- a/debian/dose3-copyright
+++ b/debian/dose3-copyright
@@ -27,7 +27,7 @@ statistics.ml
2008 Stefano Zacchiroli <z...@debian.org> and
* Jaap Boender <boen...@pps.jussieu.fr> and
* Pietro Abate <pietro.ab...@pps.jussieu.fr>
-same licence
+GPL !!!! but this is being changed upstream
==========================================================================
@@ -87,6 +87,7 @@ util.ml[i]:
2009 <pietro.ab...@pps.jussieu.fr>
Part of the following code is borrowed from Cduce.
Copyright: Alain Frisch
+(this has been removed upstream)
util.mli:
(C) 2009 Pietro Abate <pietro.ab...@pps.jussieu.fr>
--
dose3 packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
