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?) 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 > > > -- 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/1d671790-523a-4f68-845d-e976d0fd7dc5%40googlegroups.com.
