problem with 30Jan2001 release

Malcolm Wallace Malcolm.Wallace@cs.york.ac.uk
Sun, 4 Feb 2001 13:33:13 +0000


The Linux RPM package for the latest beta release of Hugs, on 30th
Jan 2001, won't install on any of my RedHat 6.2 systems.  The package
manager complains that the Hugs package has a major version number
greater than 3, and this is somehow not acceptable.

I hope this can be fixed before the 14th Feb full release.

Regards,
    Malcolm