fixed copyright file... an ITP should be done

diff --git a/helm/software/pkg-matita/trunk/debian/control b/helm/software/pkg-matita/trunk/debian/control
index 2a44ce836a9833e038162e2c97fedc2e62ad13af..b2443b7fff06ac035e12d775731190d52a4192ab 100644 (file)
--- a/helm/software/pkg-matita/trunk/debian/control
+++ b/helm/software/pkg-matita/trunk/debian/control
@@ -3,7 +3,7 @@ Section: math
 Priority: optional
 Maintainer: Enrico Tassi <gareuselesinge@debian.org>
 Uploaders: Stefano Zacchiroli <zack@debian.org>
-Build-Depends: ocaml, ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev (>= 0.22.0), libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev
+Build-Depends: ocaml (>= 3.10.0), ocaml-findlib, libgdome2-ocaml-dev, liblablgtk2-ocaml-dev, liblablgtkmathview-ocaml-dev, liblablgtksourceview-ocaml-dev, libsqlite3-ocaml-dev, libocamlnet-ocaml-dev, libzip-ocaml-dev, libhttp-ocaml-dev, ocaml-ulex, libexpat-ocaml-dev, debhelper, cdbs, libmysql-ocaml-dev
 Standards-Version: 3.7.2
 XS-Vcs-Svn: svn://mowgli.cs.unibo.it/trunk/helm/software/pkg-matita/trunk/
 XS-Vcs-Browser: http://helm.cs.unibo.it/websvn/listing.php?path=/trunk/helm/software/pkg-matita/trunk/

diff --git a/helm/software/pkg-matita/trunk/debian/copyright b/helm/software/pkg-matita/trunk/debian/copyright
index 502fc0679d6d5df02a7fbacfd38c56e34c23831c..14913710d0551c8cb515ea0cc21392b17a258525 100644 (file)
--- a/helm/software/pkg-matita/trunk/debian/copyright
+++ b/helm/software/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
+