1 This package was debianized by Enrico Tassi <gareuselesinge@debian.org>
2 Wed Oct 17 17:48:32 CEST 2007.
4 It was downloaded from http://matita.cs.unibo.it.
6 Copyright © 2000-2007 The Matita Team.
7 The software is released under the terms of the GNU/GPL license.
8 See /usr/share/common-licenses/GPL
10 File components/extlib/trie.ml:
11 Copyright (C) 2000 Jean-Christophe FILLIATRE
12 Released under LGPL version 2
13 See /usr/share/common-licenses/LGPL-2
15 File components/syntax_extensions/data/dictionary-tex.xml:
16 Copyright (C) 2002-2003 Luca Padovani <lpadovan@cs.unibo.it>,
17 2003 Paolo Marinelli <pmarinel@cs.unibo.it>.
18 Released under LGPL version 2.1
19 See /usr/share/common-licenses/LGPL-2.1
21 All .ma files are released under LGPL version 2.1
22 See /usr/share/common-licenses/LGPL-2.1
24 Files components/tactics/setoids.ml, components/tactics/setoids.mli and
25 components/tactics/fourier.ml are part of The Coq Proof Assistant
26 Copyright (C) The Coq Development Team
27 Released under LGPL version 2.1
28 See /usr/share/common-licenses/LGPL-2.1