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.

Reply via email to