On May 30, 8:46 pm, Kevin Horton <khorto...@rogers.com> wrote: > What is the correct MD5 for the tarball? It is listed at > 811388eac1e33fc4ec837d9e05b6b95b on the web page, yet I got > 1f4e16b8f759174ad2c107161e1b03a2 on my downloaded tarball. I downloaded > again, and got the same MD5. It expands without an obvious errors, so I am > attempting a build.
I fixed it and thanks for checking this! I think, william has uploaded a tar file, indexed the mirror page, and later changed the tar file. The md5sums are cached in a file to avoid recalculating all of them each time indexing the website. Therefore it used the cached entry from the first indexing. There were also links to subdirectories that were useless. (if the above is not true .. it might be a bug ;) harald PS: additionally using the timestamp of each file would fix this, but then the format of md5sums.txt wouldn't be compatible with the md5sum tool any more ... --~--~---------~--~----~------------~-------~--~----~ 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 -~----------~----~----~----~------~----~------~--~---
