pkg-matita/trunk/debian/copyright

   1 This package was debianized by Enrico Tassi <gareuselesinge@debian.org>
   2 Thu May 8 10:36:13 CEST 2007.
   3
   4 It was downloaded from http://matita.cs.unibo.it.
   5
   6
   7 Copyright © 2000-2007 The Matita Team.
   8
   9 The software is released under the terms of the GNU/GPL license.
  10 See /usr/share/common-licenses/GPL