anchor.diff:        fullName = "Debian 4.0r7 Etch (i386)";
         packagesList = fetchurl {
           url = mirror://debian/dists/etch/main/binary-i386/Packages.bz2;
  -        sha256 = "155c1d1b4ce54de6c8134ab0154c2a476ae40cc5899109f3f95fecd5e002c50d";
  +        sha256 = "80ea57a7f106086c74470229998b07885d185dc62fe4a3200d2fffc5b2371f3d";
         };
         urlPrefix = mirror://debian;
       } // args);
  
positive.code:       fullName = "Debian 4.0r7 Etch (amd64)";
        packagesList = fetchurl {
          url = mirror://debian/dists/etch/main/binary-amd64/Packages.bz2;
          sha256 = "3ab73a45781651a78c824b4f281de91b1aa6974d63470f40525933d848183e44";
        };
        urlPrefix = mirror://debian;
      } // args);
  
negative.code:       fullName = "Ubuntu 9.04 Jaunty (amd64)";
        packagesList = fetchurl {
          url = mirror://ubuntu/dists/jaunty/main/binary-amd64/Packages.bz2;
          sha256 = "adc46fec04a5d87571c60fa1a29dfb73ca69ad6eb0276615b28595a3f06988e1";
        };
        urlPrefix = mirror://ubuntu;
      } // args);
  