anchor.diff:        fullName = "Debian 5.0 Lenny (amd64)";
         packagesList = fetchurl {
           url = mirror://debian/dists/lenny/main/binary-amd64/Packages.bz2;
  -        sha256 = "73d74454d687dfbdfef1abbe4bd9c251119f38ab8d371a593aa271bfa227ed2b";
  +        sha256 = "6812c7462f4b2b767c157d01139e0fc9e17f99c492dcc59361dbd48ed8ec0e63";
         };
         urlPrefix = mirror://debian;
       } // args);
  
positive.code:       fullName = "Ubuntu 9.04 Jaunty (amd64)";
        packagesList = fetchurl {
          url = mirror://ubuntu/dists/jaunty/main/binary-amd64/Packages.bz2;
          sha256 = "794e080413580f6b94318d495672c8f7e54cf087d08d1fd748a612da0f2e4538";
        };
        urlPrefix = mirror://ubuntu;
      } // args);
  
negative.code:       fullName = "Debian 5.0 Lenny (i386)";
        packagesList = fetchurl {
          url = mirror://debian/dists/lenny/main/binary-i386/Packages.bz2;
          sha256 = "a8257890a83302ebe8e4413cbec83bea1ac6b7345646465566d625d70558aeb6";
        };
        urlPrefix = mirror://debian;
      } // args);
  