debian/copyright

   1 This package was debianized by Richard Kreckel kreckel@ginac.de on
   2 Mon, 17 Jan 2000 17:00:31 +0100.
   3
   4 It was downloaded from <http://www.ginac.de/>
   5
   6 Copyright:
   7
   8 GPL (see /usr/share/common-licenses/GPL)