anchor.diff:      opensuse103i386 = diskImageFuns.opensuse103i386 { packages = commonOpenSUSEPackages; };
       
       ubuntu710i386 = diskImageFuns.ubuntu710i386 { packages = commonDebianPackages; };
  +    ubuntu804i386 = diskImageFuns.ubuntu804i386 { packages = commonDebianPackages; };
  +    ubuntu804x86_64 = diskImageFuns.ubuntu804x86_64 { packages = commonDebianPackages; };
       debian40i386 = diskImageFuns.debian40i386 { packages = commonDebianPackages; };
       debian40x86_64 = diskImageFuns.debian40x86_64 { packages = commonDebianPackages; };
   
  
positive.code:       urlPrefix = mirror://ubuntu;
      } // args);
          
      debian40i386 = args: makeImageFromDebDist ({
        name = "debian-4.0r4a-etch-i386";
        fullName = "Debian 4.0r4a Etch (i386)";
  
negative.code:       archs = ["noarch" "i586"];
      } // args);
  
      # Interestingly, the SHA-256 hashes provided by Ubuntu in
      # http://nl.archive.ubuntu.com/ubuntu/dists/{gutsy,hardy}/Release are
      # wrong, but the SHA-1 and MD5 hashes are correct.
  
      ubuntu710i386 = args: makeImageFromDebDist ({
        name = "ubuntu-7.10-gutsy-i386";
        fullName = "Ubuntu 7.10 Gutsy (i386)";
  