pkg-matita/trunk/debian/copyright

   1 This package was debianized by Enrico Tassi <gareuselesinge@debian.org>
   2 Wed Oct 17 17:48:32 CEST 2007.
   3
   4 It was downloaded from http://matita.cs.unibo.it.
   5
   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
   9
  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
  14
  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
  20
  21 All .ma files are released under LGPL version 2.1
  22 See /usr/share/common-licenses/LGPL-2.1
  23
  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
  29