[MLton] Problems with gdtoa.tgz

[Brent Fulgham]

--- Brent Fulgham <bfulg@pacbell.net> wrote:
> --- Stephen Weeks <sweeks@sweeks.com> wrote:
> > % md5sum gdtoa.tgz
> > 51dc3f5d9ef8912888df028734a6f1e1  gdtoa.tgz
> 
Well, what do you know?  Checking out via CVS yields
the correct checksum:

bfulgham@bfulgham ~/mlton/runtime
$ md5sum.exe gdtoa.tgz
51dc3f5d9ef8912888df028734a6f1e1 *gdtoa.tgz


So, problem resolved (but it's a shame, since
TurtleCVS integrates so nicely into Windows.)

-Brent