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/58780ec3-a96c-4792-9ed4-efc8e6eac17b%40googlegroups.com.