anchor.diff:        };
       }
       rec {
  -      name = "libvulkan1_1.2.135~srt-0+steamrt1.1+srt1_i386";
  -      sha256 = "ac161149e1106247de706788a7ea29dbe5e3c17c2b8aedf97ec892b311abbb75";
  -      url = "mirror://steamrt/pool/main/v/vulkan-loader/libvulkan1_1.2.135~srt-0+steamrt1.1+srt1_i386.deb";
  +      name = "libvulkan1_1.2.135.0-1~steamrt1.1+srt1_i386";
  +      sha256 = "dd6167b259a8ec4c927f3fa710d01456321b3ff40f6daa3383ec353866615aaa";
  +      url = "mirror://steamrt/pool/main/v/vulkan-loader/libvulkan1_1.2.135.0-1~steamrt1.1+srt1_i386.deb";
         source = fetchurl {
           inherit url sha256;
           name = "libvulkan1.deb";
         };
       }
       rec {
  -      name = "libwaffle-1-0_1.6.0-2~steamrt1.3+srt1_i386";
  -      sha256 = "875ebdcc60fd8be86b6e83a2155bea69aa3ef7442d60eef277bcdf814c663452";
  -      url = "mirror://steamrt/pool/main/w/waffle/libwaffle-1-0_1.6.0-2~steamrt1.3+srt1_i386.deb";
  +      name = "libwaffle-1-0_1.6.1-0+steamrt1.1+srt1_i386";
  +      sha256 = "06f22a35ca49969e44f1bdaca82a1d085e69211bf3b39915d77d80f414ea8668";
  +      url = "mirror://steamrt/pool/main/w/waffle/libwaffle-1-0_1.6.1-0+steamrt1.1+srt1_i386.deb";
         source = fetchurl {
           inherit url sha256;
           name = "libwaffle-1-0.deb";
  
positive.code:       };
      }
      rec {
        name = "libroken18-heimdal_1.6~git20120311.dfsg.1-2+srt6_i386";
        sha256 = "8827d782d8fedf7fe0285bbab14914e61d2ac5fe5e7ea297fbff916c7fd73939";
        url = "mirror://steamrt/pool/main/h/heimdal/libroken18-heimdal_1.6~git20120311.dfsg.1-2+srt6_i386.deb";
  
negative.code:       };
      }
      rec {
        name = "libitm1_5.4.0-7.really.6+steamrt1.2+srt2_amd64";
        sha256 = "3c01841997e77fe1616b16936394c86383dc76e875f70e6d96ed016e4b945050";
        url = "mirror://steamrt/pool/main/g/gcc-5/libitm1_5.4.0-7.really.6+steamrt1.2+srt2_amd64.deb";
        source = fetchurl {
          inherit url sha256;
          name = "libitm1.deb";
        };
      }
      rec {
        name = "libjack-jackd2-0_1.9.8~dfsg.1-1ubuntu2+srt5_amd64";
        sha256 = "9a419baf1b88386cf643ca64965de607321e5d27f13c5bd68be0eb1a803fd7a9";
        url = "mirror://steamrt/pool/main/j/jackd2/libjack-jackd2-0_1.9.8~dfsg.1-1ubuntu2+srt5_amd64.deb";
  