On Thursday, February 13, 2020 at 12:14:44 AM UTC-5, Alexander van der Vekens wrote: > > I also tried several URLs, but always get Version 0.180 (and tested it > with minimizing axdc - the proof is always replaced by ax-dc, so the exe > does not contain the bug fix): > > http://us.metamath.org/metamath/metamath.exe > http://us.metamath.org/downloads/metamath.zip > > http://us2.metamath.org/metamath/metamath.exe > http://us2.metamath.org/downloads/metamath.zip > http://us2.metamath.org/downloads/metamath.tar.gz >
> So we have to wait for Norm (or the servers to be updated?) > Sorry, I forgot to update metamath.exe. It should be in all of the us2 files above now which I just regenerated. The source files should have been 0.181 all along, though. On the us server, except for metamath-program.zip (which I transferred by hand), the files won't be updated for a day or so. > > Unfortunately, there is no exe in Github ( > https://github.com/metamath/metamath-exe), but it could be reproduced > from there... > > On Thursday, February 13, 2020 at 5:23:30 AM UTC+1, [email protected] > wrote: >> >> Hrm. For some reason both us and us2 are giving me the 0.180 hash. Is >> this the >> correct URL? >> >> http://us2.metamath.org/downloads/metamath-program.zip > > This puzzles me. I just downloaded and unzipped this, and line 31 of the file "metamath.c" says "0.181 12-Feb-2020". What does yours say? Norm -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/f9ecf103-5763-4903-8223-b5b7eb276288%40googlegroups.com.
