[MLton] Problems with gdtoa.tgz
Brent Fulgham
bfulg@pacbell.net
Wed, 23 Jun 2004 13:28:03 -0700 (PDT)
--- 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