This package was debianized by Enrico Tassi 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