I received a FTBFS (fails to build from source) debian bug #560623 [1] today, which turns out to be a patch compatibility bug already fixed by Matthew (r7369). (BTW, what the hell?! patch is as old and stable a unix tool as they come; what genius changed its behaviour?)<br>

<br>In the process of fixing this I noticed that svn browsing is broken [2]. Also the MLton server still runs woody and hasn&#39;t seen a security update in years. Not to mention downloads and svn from it are extremely slow. If there&#39;s interest, we could definitely offer some improved hosting in Germany.<br>

<br>Before I upload a new version of the debian package and go through the hassle of getting all the ports to build cleanly again (they are currenly all green! [3]), I thought I&#39;d also address bug #<a href="http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=559014" target="_blank">559014</a> [4], which is a complaint about the version number I picked for the MLton snapshot; I called it 20091107.<br>

<br>Since MLton doesn&#39;t use version numbers, I can&#39;t really call it 1.99+r7369 to make it clear it&#39;s a prerelease snapshot of version 2.0. However, my current version name is a bad choice because it implies that 20091107 was an &quot;official&quot; release. The best I can propose is 20091211+r7369. Suggestions / complaints?<br>

<br>Of course, if those two regressions on osx were fixed, maybe we&#39;d have an official release and the point would be moot. BTW, a colleague of mine reports<span dir="ltr" id=":1j4"> everything works under Snow Leopard except the regressions world5 and real.</span> A small fix was needed which I&#39;ll commit shortly.<br>
<br>[1] &lt;<a href="http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=560623" target="_blank">http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=560623</a>&gt;<br>

[2] &lt;<a href="http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/?rev=HEAD" target="_blank">http://mlton.org/cgi-bin/viewsvn.cgi/mlton/trunk/?rev=HEAD</a>&gt;<br>[3] &lt;<a href="https://buildd.debian.org/%7Eluk/status/package.php?p=mlton" target="_blank">https://buildd.debian.org/~luk/status/package.php?p=mlton</a>&gt;<br>

[4] &lt;<a href="http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=559014" target="_blank">http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=559014</a>&gt;<br><br>