anchor.diff:        };
       }
       rec {
  -      name = "libstdc++6_5.4.0-7.really.6+steamrt1.1+srt2_i386";
  -      sha256 = "0l60yc1i7p20gaih1mzjk8c62zq9ba4zvmfmrk5w8xr05dpyq9a6";
  -      url = "mirror://steamrt/pool/main/g/gcc-5/libstdc++6_5.4.0-7.really.6+steamrt1.1+srt2_i386.deb";
  +      name = "libstdc++6_5.4.0-7.really.6+steamrt1.2+srt1_i386";
  +      sha256 = "0zpxvknlis6r4fw5q2g1cd8j01qw5blxrph76yj7y1sb2rj10li7";
  +      url = "mirror://steamrt/pool/main/g/gcc-5/libstdc++6_5.4.0-7.really.6+steamrt1.2+srt1_i386.deb";
         source = fetchurl {
           inherit url sha256;
           name = "libstdc++6.deb";
  
positive.code:       };
      }
      rec {
        name = "libgcc1_5.4.0-7.really.6+steamrt1.1+srt2_amd64";
        sha256 = "1r6nviva9jnkwyg28lxjcr142lda88f3r2312wgdfhry69szw2ld";
        url = "mirror://steamrt/pool/main/g/gcc-5/libgcc1_5.4.0-7.really.6+steamrt1.1+srt2_amd64.deb";
        source = fetchurl {
          inherit url sha256;
          name = "libgcc1.deb";
  
negative.code:       };
      }
      rec {
        name = "libstdc++6_5.4.0-7.really.6+steamrt1.2+srt1_amd64";
        sha256 = "0mgnrbiv2wypw9rxilrv4f2mw5fl230xqpiq85xdmz8y8pg87w0i";
        url = "mirror://steamrt/pool/main/g/gcc-5/libstdc++6_5.4.0-7.really.6+steamrt1.2+srt1_amd64.deb";
        source = fetchurl {
          inherit url sha256;
          name = "libstdc++6.deb";
  