This package was debianized by Stefano Zacchiroli <zacchiro@cs.unibo.it> on
Sun, 21 Jan 2001 18:24:26 +0100.

It was packed from source obtained via cvs, with this CVSROOT:
	:pserver:anonymous@phd.cs.unibo.it:/home/lpadovan/PHELM/

Upstream Author(s): Luca Padovani <luca.padovani@cs.unibo.it>

Copyright:
 This program is free software; you can redistribute it and/or modify it
 under the terms of the GNU General Public License as published by the Free
 Software Foundation; either version 2 of the License, or (at your option)
 any later version.
 
 This program is distributed in the hope that it will be useful, but WITHOUT
 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
 more details.
 
 You should have received a copy of the GNU General Public License along
 with this program; if not, write to the Free Software Foundation, Inc., 
 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.

 On Debian GNU/Linux systems, the complete text of the GNU General
 Public License can be found in `/usr/share/common-licenses/GPL'.
 The GNU Public Licenses in /usr/share/common-licenses were taken from
 ftp.gnu.org and are copyrighted by the Free Software Foundation, Inc.

