On Sun, Jul 24, 2016 at 04:12:07PM +0300, Efraim Flashner wrote:
     On Sun, Jul 24, 2016 at 03:58:30AM +0200, John Darrington wrote:
     > Yes, like Leo says, Peter Miller is deceased.
     > 
     > It looks as if his entire home page is now gone.  As I recall, it used to be hosted
     > by the Australian Unix User Group.  I suggest they just re-arranged their web site,
     > and it somehow got inadvertently dropped.
     > 
     > It might well be worth a mail to the webmaster asking if they know anything about it.
     > 
     > 
     >      > (it is possible that the source has disappeared a while ago, but that
     >      > this was only noticed once the cache broke down with hydra.gnu.org).
     > 
     > I wonder if it would be worth having some kind of daemon which crawls and flags
     > sources which are either missing, or have bad checksums?
     > 
     
     https://www.gnu.org/software/guix/packages/issues.html
     
But if I understand correctly, that is not going to do anything if hydra's internal
cache is good.  From what Andraes says, we only noticed this because we happened to
loose the cache.

J'


-- 
Avoid eavesdropping.  Send strong encryted email.
PGP Public key ID: 1024D/2DE827B3 
fingerprint = 8797 A26D 0854 2EAB 0285  A290 8A67 719C 2DE8 27B3
See http://sks-keyservers.net or any PGP keyserver for public key.