debian package for matita

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

diff --git a/pkg-matita/trunk/debian/copyright b/pkg-matita/trunk/debian/copyright
new file mode 100644 (file)
index 0000000..502fc06
--- /dev/null
+++ b/pkg-matita/trunk/debian/copyright
@@ -0,0 +1,10 @@
+This package was debianized by Enrico Tassi <gareuselesinge@debian.org>
+Thu May 8 10:36:13 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