8 Jan
2002
8 Jan
'02
3:07 a.m.
"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