[MLton] Re: MLton problems on FreeBSD
Fri, 24 Dec 2004 00:03:26 +0100
Content-Type: text/plain; charset=iso-8859-1
Le Jeu 23 d=E9c 04 =E0 22:29:43 +0100, Stephen Weeks <email@example.com>
> > It seems that the original tarballs are unfetchable; could you please
> > check them?
> Yes, they went missing in our web site reorganization last month.
> I've put them back. Please try again and let us know if there are
> still problems.
Sorry... There is still a problem:
=3D> mlton-20040429-1.i386-freebsd.tgz doesn't seem to exist in /usr/ports/=
=3D> Attempting to fetch from http://www.mlton.org/download/.
fetch: http://www.mlton.org/download/mlton-20040429-1.i386-freebsd.tgz: Mov=
=3D> Attempting to fetch from http://www.mlton.org/experimental/.
=3D> Attempting to fetch from ftp://ftp.FreeBSD.org/pub/FreeBSD/ports/distf=
386-freebsd.tgz: size mismatch: expected 3819875, actual 524288
=3D> Couldn't fetch it - please try to retrieve this
=3D> port manually into /usr/ports/distfiles/ and try again.
*** Error code 1
Stop in /usr/ports/lang/mlton.
It seems that <http://www.mlton.org/download/> is redirected towards
Perhaps MASTER_SITES should be updated?
> Also, if you have the time, it would be great to update the Makefile
> to use our latest public release, 20041109. The relevant files are
It would be better that you submit a PR (send-pr) with the diff. It may
sound somewhat bureaucratic, but people at FreeBSD like spin links
between GNATS (the bugs database) and the CVS.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.6 (FreeBSD)
-----END PGP SIGNATURE-----