On Thu, 31 Jul 2008 at 12:33pm, Johnny Hughes wrote > I have pushed all those with new dates today ... the issue is that the date > and size is the same, so it does not check the md5 checksum. > > The change in time SHOULD make it push all files out to all the mirrors. > > It may take several hours for the mirrors to get updated Looks good -- thanks! -- Joshua Baker-LePain QB3 Shared Cluster Sysadmin UCSF