anchor.diff:    src = fetchurl {
       urls = tarballUrls version;
       hashOutput = false;
  -    sha256 = "6753da2e621257f33f5b051cc114d417e5206a0818fe0b1ecfd6153f70934753";
  +    sha256 = "7e528e8c317ddd156230c4e31d082cd13e7ddeb7a54824be82632209550c8cca";
     };
   
     nativeBuildInputs = [
  
positive.code:     "mirror://gnu/libtasn1/libtasn1-${version}.tar.gz"
    ];
  
    version = "4.12";
  in
  stdenv.mkDerivation rec {
    name = "libtasn1-${version}";
  
negative.code:     texinfo
    ];
  
    passthru = {
      srcVerification = fetchurl rec {
        failEarly = true;
        urls = tarballUrls "4.13";
        pgpsigUrls = map (n: "${n}.sig") urls;
        pgpKeyFingerprint = "1F42 4189 05D8 206A A754  CCDC 29EE 58B9 9686 5171";
        outputHash = "7e528e8c317ddd156230c4e31d082cd13e7ddeb7a54824be82632209550c8cca";
        inherit (src) outputHashAlgo;
      };
    };
  