anchor.diff:        };
       }
       rec {
  -      name = "libva-glx1_1.7.0-1+steamos1+srt2_amd64";
  -      sha256 = "c25662535e0bcc1fc349c1f61710f31dcc1be846ea2ba4282225756809b13e15";
  -      url = "mirror://steamrt/pool/main/libv/libva/libva-glx1_1.7.0-1+steamos1+srt2_amd64.deb";
  +      name = "libva-drm1_1.7.0-1+steamrt1.1+srt1_amd64";
  +      sha256 = "ee98522c6c69c1f6134a37d63a74f6c4f4ef5be2944bd504e8886333115f1f06";
  +      url = "mirror://steamrt/pool/main/libv/libva1/libva-drm1_1.7.0-1+steamrt1.1+srt1_amd64.deb";
  +      source = fetchurl {
  +        inherit url sha256;
  +        name = "libva-drm1.deb";
  +      };
  +    }
  +    rec {
  +      name = "libva-drm2_2.1.0-3~steamrt1.2+srt1_amd64";
  +      sha256 = "5add6487f678a13cc71d039b1ebd6991b1395dd8ce78124ac3675ea80f10e1b8";
  +      url = "mirror://steamrt/pool/main/libv/libva/libva-drm2_2.1.0-3~steamrt1.2+srt1_amd64.deb";
  +      source = fetchurl {
  +        inherit url sha256;
  +        name = "libva-drm2.deb";
  +      };
  +    }
  +    rec {
  +      name = "libva-glx1_1.7.0-1+steamrt1.1+srt1_amd64";
  +      sha256 = "938db19eecb0a2fbc5058e90962cdbc05f3ef2b1601341b7b6d7be429da97259";
  +      url = "mirror://steamrt/pool/main/libv/libva1/libva-glx1_1.7.0-1+steamrt1.1+srt1_amd64.deb";
         source = fetchurl {
           inherit url sha256;
           name = "libva-glx1.deb";
         };
       }
       rec {
  -      name = "libva-x11-1_1.7.0-1+steamos1+srt2_amd64";
  -      sha256 = "ddfd440a2bfe3174b33ac5b459ce4261ddbcfa36d443ad237d41e5e41dd17bae";
  -      url = "mirror://steamrt/pool/main/libv/libva/libva-x11-1_1.7.0-1+steamos1+srt2_amd64.deb";
  +      name = "libva-glx2_2.1.0-3~steamrt1.2+srt1_amd64";
  +      sha256 = "7a14fde5181a5c313e97bcb25d6233c7343ebc009c3c5065bb65e8d3ec74f643";
  +      url = "mirror://steamrt/pool/main/libv/libva/libva-glx2_2.1.0-3~steamrt1.2+srt1_amd64.deb";
  +      source = fetchurl {
  +        inherit url sha256;
  +        name = "libva-glx2.deb";
  +      };
  +    }
  +    rec {
  +      name = "libva-x11-1_1.7.0-1+steamrt1.1+srt1_amd64";
  +      sha256 = "6f0894f499b44346af1d35a3d1300b9cc2d9b1674fca879345daf392620322ae";
  +      url = "mirror://steamrt/pool/main/libv/libva1/libva-x11-1_1.7.0-1+steamrt1.1+srt1_amd64.deb";
         source = fetchurl {
           inherit url sha256;
           name = "libva-x11-1.deb";
         };
       }
       rec {
  -      name = "libva1_1.7.0-1+steamos1+srt2_amd64";
  -      sha256 = "a06f1a3af4679bb44722458d956177468e78d662cf97dc1ec6c8ee38dc7408a2";
  -      url = "mirror://steamrt/pool/main/libv/libva/libva1_1.7.0-1+steamos1+srt2_amd64.deb";
  +      name = "libva-x11-2_2.1.0-3~steamrt1.2+srt1_amd64";
  +      sha256 = "47f70088a25e92b036374d8ff132e11b38546f26ee2e6cba141d42f766d8c748";
  +      url = "mirror://steamrt/pool/main/libv/libva/libva-x11-2_2.1.0-3~steamrt1.2+srt1_amd64.deb";
  +      source = fetchurl {
  +        inherit url sha256;
  +        name = "libva-x11-2.deb";
  +      };
  +    }
  +    rec {
  +      name = "libva1_1.7.0-1+steamrt1.1+srt1_amd64";
  +      sha256 = "f0c27f86e0ec4e210e05b2217d2d51fe52994add7df2fe5ff41e7f8aeee6f426";
  +      url = "mirror://steamrt/pool/main/libv/libva1/libva1_1.7.0-1+steamrt1.1+srt1_amd64.deb";
         source = fetchurl {
           inherit url sha256;
           name = "libva1.deb";
  +      };
  +    }
  +    rec {
  +      name = "libva2_2.1.0-3~steamrt1.2+srt1_amd64";
  +      sha256 = "08c60888e39e4656fa4c41dbbb2baa0d99f91a8fabbf5336261b255c0ea4f185";
  +      url = "mirror://steamrt/pool/main/libv/libva/libva2_2.1.0-3~steamrt1.2+srt1_amd64.deb";
  +      source = fetchurl {
  +        inherit url sha256;
  +        name = "libva2.deb";
         };
       }
       rec {
  
positive.code:       };
      }
      rec {
        name = "steamrt-legacy_1.20190624.0+srt1_amd64";
        sha256 = "0a0e96fc8dbe806b2d0b4ac26f217ca5ff49188f295a9a4b0d39cbe0a4da52b0";
        url = "mirror://steamrt/pool/main/s/steamrt/steamrt-legacy_1.20190624.0+srt1_amd64.deb";
        source = fetchurl {
          inherit url sha256;
          name = "steamrt-legacy.deb";
        };
      }
      rec {
        name = "steamrt-libs_1.20190624.0+srt1_amd64";
        sha256 = "ed7124e8d11d9dd435ec7b7516a0d0e2c766f677b2c5a1d0b257790c03f307a2";
        url = "mirror://steamrt/pool/main/s/steamrt/steamrt-libs_1.20190624.0+srt1_amd64.deb";
        source = fetchurl {
          inherit url sha256;
          name = "steamrt-libs.deb";
        };
      }
      rec {
  
negative.code:       };
      }
      rec {
        name = "libcurl3_7.22.0-3ubuntu4.17+steamrt1.2+srt1_amd64";
        sha256 = "b8ce9330efb568bff45d00b678f461c1b45184db97afb34c85a96320dbedcb45";
        url = "mirror://steamrt/pool/main/c/curl/libcurl3_7.22.0-3ubuntu4.17+steamrt1.2+srt1_amd64.deb";
        source = fetchurl {
          inherit url sha256;
          name = "libcurl3.deb";
        };
      }
      rec {
        name = "libcurl3-gnutls_7.22.0-3ubuntu4.17+steamrt1.2+srt1_amd64";
        sha256 = "d130968581123872aa448f1bd92b969c3df5c3c47ffb034c7635f723c7f9a9ff";
        url = "mirror://steamrt/pool/main/c/curl/libcurl3-gnutls_7.22.0-3ubuntu4.17+steamrt1.2+srt1_amd64.deb";
        source = fetchurl {
          inherit url sha256;
          name = "libcurl3-gnutls.deb";
  