<commit_before>x@{builderDefsPackage
  , yap, tcsh, perl, patchelf, pkgsi686Linux
  , ...}:
builderDefsPackage
(a :  
let 
  helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++ 
    ["pkgsi686Linux"];

  buildInputs = map (n: builtins.getAttr n x)
    (builtins.attrNames (builtins.removeAttrs x helperArgNames));
  sourceInfo = rec {
    baseName="TPTP";
    version="5.4.0";
    name="${baseName}-${version}";
    url="http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v${version}.tgz";
    hash="0rvrmh3vw4bk7mj29bx1pi76g2bsqyc13gsnpa1cbjs5pzyhm780";
  };
in
rec {
  src = a.fetchurl {
    url = sourceInfo.url;
    sha256 = sourceInfo.hash;
  };

  inherit (sourceInfo) name version;<commit_msg>Update TPTP and make URL set robust to moving old versions to archive<commit_after>x@{builderDefsPackage
  , yap, tcsh, perl, patchelf, pkgsi686Linux
  , ...}:
builderDefsPackage
(a :  
let 
  helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++ 
    ["pkgsi686Linux"];

  buildInputs = map (n: builtins.getAttr n x)
    (builtins.attrNames (builtins.removeAttrs x helperArgNames));
  sourceInfo = rec {
    baseName="TPTP";
    version="6.0.0";
    name="${baseName}-${version}";
    urls=
    [
    "http://www.cs.miami.edu/~tptp/TPTP/Distribution/TPTP-v${version}.tgz"
    "http://www.cs.miami.edu/~tptp/TPTP/Archive/TPTP-v${version}/TPTP-v${version}.tgz"
    ];
    hash="0jnjkqdz937c7mkxvh9wc3byw5h1k19jss058fbzdxxc2hkwq1af";
  };
in
rec {
  src = a.fetchurl {
    urls = sourceInfo.urls;
    sha256 = sourceInfo.hash;
  };

  inherit (sourceInfo) name version;
{'fraction_non_alphanumeric': 0.15418502202643172, 'fraction_numerical': 0.03587161736941473, 'mean_word_length': 3.847560975609756, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 3, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6338375', 'n_tokens_mistral': 668, 'n_tokens_neox': 626, 'n_words': 99}