Some notes for Enrico.

[helm.git] / pkg-matita / trunk / debian / copyright

diff --git a/pkg-matita/trunk/debian/copyright b/pkg-matita/trunk/debian/copyright
index 502fc0679d6d5df02a7fbacfd38c56e34c23831c..14913710d0551c8cb515ea0cc21392b17a258525 100644 (file)
--- a/pkg-matita/trunk/debian/copyright
+++ b/pkg-matita/trunk/debian/copyright
@@ -1,10 +1,29 @@
 This package was debianized by Enrico Tassi <gareuselesinge@debian.org>
-Thu May 8 10:36:13 CEST 2007.
+Wed Oct 17 17:48:32 CEST 2007.
 
 It was downloaded from http://matita.cs.unibo.it.
 
-
 Copyright © 2000-2007 The Matita Team.
-
 The software is released under the terms of the GNU/GPL license.
 See /usr/share/common-licenses/GPL
+
+File components/extlib/trie.ml:
+Copyright (C) 2000 Jean-Christophe FILLIATRE
+Released under LGPL version 2
+See /usr/share/common-licenses/LGPL-2
+
+File components/syntax_extensions/data/dictionary-tex.xml:
+Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
+                   2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
+Released under LGPL version 2.1
+See /usr/share/common-licenses/LGPL-2.1
+
+All .ma files are released under LGPL version 2.1
+See /usr/share/common-licenses/LGPL-2.1
+
+Files components/tactics/setoids.ml, components/tactics/setoids.mli and 
+components/tactics/fourier.ml are part of The Coq Proof Assistant
+Copyright (C) The Coq Development Team 
+Released under LGPL version 2.1
+See /usr/share/common-licenses/LGPL-2.1
+