Hi Leif, On 18 Aug., 20:04, leif <[email protected]> wrote: > > > wget will by default not clobber the file with a newer version, and > > > instead > > save it as m4rie_for_sage.patch.1 > > So maybe you do have the correct version, but not under the original > name as you expected.
No. There was no file whose name started with m4ri. It turned out that indeed wget is cached, but it is so since a couple of years. Hence, it does not explain why it worked all the time and then suddenly broke. Our sysadmin said that perhaps there was a problem reading the time stamp of the file to be downloaded - because it *should* be downloaded if its time stamp is younger than the file in the download cache; in that case, it could be a trac problem. He also told me how to switch the cache off. Now it works. Best regards, Simon -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
