X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fpkg-matita%2Ftrunk%2Fdebian%2Fcopyright;fp=helm%2Fsoftware%2Fpkg-matita%2Ftrunk%2Fdebian%2Fcopyright;h=14913710d0551c8cb515ea0cc21392b17a258525;hb=d9de97af721618096e285e3646190d5b32334d4d;hp=502fc0679d6d5df02a7fbacfd38c56e34c23831c;hpb=e1fa6f98e5c3ad912338f69bef8dccb4628ba06b;p=helm.git diff --git a/helm/software/pkg-matita/trunk/debian/copyright b/helm/software/pkg-matita/trunk/debian/copyright index 502fc0679..14913710d 100644 --- 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 -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 , + 2003 Paolo Marinelli . +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 +