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 Norman Megill <n...@alum.mit.edu> wrote: > It was only updated on us2, the us server normally gets updated a day or so > later. However, I just put the new one on the us server by hand, so try it > again. > > Norm > > On Wednesday, February 12, 2020 at 10:37:39 PM UTC-5, heiphohmia wrote: > > > > You work fast! > > Does metamath-program.zip reflect the executable update? I am getting the > > same > > hash as 0.180. > > > > Cheers, > > > > Norman Megill wrote: > > > The job files have been updated for today's set.mm. The new job files > > are > > > available at http://us2.metamath.org/downloads/min2020-jobs.zip > > > > > > The instructions at the beginning of this thread ( > > > https://groups.google.com/d/msg/metamath/1wWqUQ5pJp8/1lURYnVcFwAJ) > > still > > > apply, except that you should use today's set.mm at > > > > > https://github.com/metamath/set.mm/commit/87bc05d4155014c9bc7b8f4f05435347b628b7f0 > > > > > > > > Make sure you are running metamath version 0.181. > > > > > > As I mentioned, all previous runs should be discarded. We are starting > > > from scratch. > > > > > > Thank you! > > > Norm > > > > > > < > > http://www.google.com/url?q=http%3A%2F%2Fus2.metamath.org%2Fdownloads%2Fmin2020-jobs.zip&sa=D&sntz=1&usg=AFQjCNEjjy5wsEd2bpGzg30AHa2IqJ4KEg> > > > > > > > > -- 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/3ATAVNN9BNQ70.27ZAB1RKLO3DT%40wilsonb.com.
