Hugs and Linux
William Lee Irwin III
Fri, 10 Nov 2000 22:12:31 -0800
Content-Type: text/plain; charset=us-ascii
Content-Description: brief message
On Fri, Nov 10, 2000 at 07:33:34AM -0800, Jeffrey R. Lewis wrote:
> There will be a release of hugs sometime around the end of the year, I
> believe, that will fix all of this. In the meantime, you can grab an
> interim version from the following URLs:
> These rpms were built on a redhat-7.0 system.
I'm supposedly the new Debian package maintainer for hugs, and somehow
I missed the July2000 mark. I'll package that up in short order. Have
you written a manpage for hugs and runhugs? I believe I cooked up some,
and I can send these back to you if you want them.
Actually, the July2000 release hasn't been noted on
http://haskell.org/hugs -- is there somewhere else I should be looking
to keep track of it?
<pan2:#math> when i was a kid i behaved like a polynomial
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.0.4 (GNU/Linux)
Comment: For info see http://www.gnupg.org
-----END PGP SIGNATURE-----