--- /dev/null
+This package was debianized by Stefano Zacchiroli <zack@dalamar.krynn.it> on
+Sat, 6 Apr 2002 13:00:49 +0200.
+
+It was exported from the HELM CVS which is accesible using ViewCVS from:
+ http://www.cs.unibo.it/helm/
+
+Upstream Author:
+ Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
+
+Copyright:
+
+ This library 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
+ Lesser General Public License for more details.
+
+ On a Debian GNU/Linux system, the LGPL can be found as
+ /usr/share/common-licenses/LGPL-2.1.