debian/copyright

   1 This package was debianized by Richard Kreckel kreckel@ginac.de on
   2 Thu, 29 Mar 2001 20:30:40 +0100.
   3
   4 It was downloaded from <http://www.ginac.de/>
   5
   6 Copyright:
   7
   8 GPL (see /usr/share/common-licenses/GPL)