ok, it's the one being pointed at, makes sense. I've replaced the file. Master right now:
files@k8s:~/files/spkg$ sha1sum ./upstream/cryptominisat/cryptominisat-5.6.6.tar.gz 568cd2f528609a31d217e24e381de87e011499d4 ./upstream/cryptominisat/cryptominisat-5.6.6.tar.gz On Thu, Jan 24, 2019 at 1:05 PM Harald Schilly <har...@schil.ly> wrote: > Ok, I see, I've removed that file and pushed the timestamp of the master > mirror. I don't know how to get the correct file, so that's all I can do… > > On Thu, Jan 24, 2019 at 12:44 PM Jeroen Demeyer <j.deme...@ugent.be> > wrote: > >> On 2019-01-24 12:20, Harald Schilly wrote: >> >there is only the master server with the main (presumably correct) >> > file. >> >> It's NOT correct in this case (see the other posts in this thread). The >> file genuinely has to be uploaded again to the master server. >> >> And probably there is nothing wrong with that specific mirror, please >> unblock it. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "sage-release" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to sage-release+unsubscr...@googlegroups.com. >> To post to this group, send email to sage-release@googlegroups.com. >> Visit this group at https://groups.google.com/group/sage-release. >> For more options, visit https://groups.google.com/d/optout. >> > -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To post to this group, send email to sage-release@googlegroups.com. Visit this group at https://groups.google.com/group/sage-release. For more options, visit https://groups.google.com/d/optout.
