Hugs98 FreeBSD port (was: ANNOUNCE: Hugs98 Christmas release)

[Sigbjorn Finne]

"Oliver Braun" <obraun@informatik.unibw-muenchen.de> writes:
> * Sigbjorn Finne <sof@galois.com> [2001-12-16 05:30]:
> > Let us know if the package/port moves to a more official URL.
>
> The hugs FreeBSD port has been updated in the FreeBSD ports collection.
>
> The port skeleton is available on all FreeBSD-Mirrors, e.g.
>
> ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/ports/lang/hugs/
>
> The package is available on all FreeBSD-Mirrors, e.g.
>
>
ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/i386/packages-stable/lang/hugs98-200
112.tgz
>

Excellent, good job. I've updated the FreeBSD section on the
downloads page with the URL

  http://www.freebsd.org/cgi/ports.cgi?query=hugs98&stype=all

--sigbjorn