anchor.diff:  let
     pkgs = import <nixpkgs> { };
   
  -  systems = [ "i686-linux" "x86_64-linux" ];
  +  systems = [ "x86_64-linux" ];
   
     version = "0.0.1" + (pkgs.lib.optionalString (!officialRelease)
       "-pre${toString minibsdiff.revCount}_${minibsdiff.shortRev}");
  
positive.code:       meta = { schedulingPriority = prio; };
      };
  
  
    makeDeb_i686   = makeDeb "i686-linux";
    makeDeb_x86_64 = makeDeb "x86_64-linux";
  
  
negative.code:       }
      );
  
      deb_ubuntu1310x86_64 = makeDeb_x86_64 (diskImages: diskImages.ubuntu1310x86_64) 90;
  
      ## -- Release build --------------------------------------------------------
  