On May 31, 1:49 am, William Stein <wst...@gmail.com> wrote: > This is precisely what happened. ...
Good, and i have an idea: The script could use the timestamp of the md5sums.txt file and ignore it's entries if the timestamp of the respective .zip file is newer! Then, you don't have to delete the entry to recreate the md5 sum the next time :) h --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
