You work fast! Does metamath-program.zip reflect the executable update? I am getting the same hash as 0.180.
Cheers, Norman Megill <[email protected]> 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/2YRM1GK119F42.333G3RSQLLW5J%40wilsonb.com.
