<commit_before>{ stdenv, fetchurl, haskell, spass }:

stdenv.mkDerivation {
  name = "system-for-automated-deduction-2.3.25";
  src = fetchurl {
    url = "http://nevidal.org/download/sad-2.3-25.tar.gz";
    sha256 = "10jd93xgarik7xwys5lq7fx4vqp7c0yg1gfin9cqfch1k1v8ap4b";
  };
  buildInputs = [ haskell.compiler.ghc844 spass ];
  patches = [
    ./patch.patch
    # Since the LTS 12.0 update, <> is an operator in Prelude, colliding with
    # the <> operator with a different meaning defined by this package
    ./monoid.patch
  ];
  postPatch = ''
    substituteInPlace Alice/Main.hs --replace init.opt $out/init.opt
    '';
  installPhase = ''
    mkdir -p $out/{bin,provers}
    install alice $out/bin
    install provers/moses $out/provers
    substituteAll provers/provers.dat $out/provers/provers.dat
    substituteAll init.opt $out/init.opt
    cp -r examples $out
    '';
  inherit spass;
  meta = {
    description = "A program for automated proving of mathematical texts";
    longDescription = ''
      The system for automated deduction is intended for automated processing of formal mathematical texts
      written in a special language called ForTheL (FORmal THEory Language) or in a traditional first-order language
      '';
    license = stdenv.lib.licenses.gpl3Plus;
    maintainers = [ stdenv.lib.maintainers.schmitthenner ];
    homepage = "http://nevidal.org/sad.en.html";
    platforms = stdenv.lib.platforms.linux;
  };
}<commit_msg>sad: mark package as broken because if depends on dropped ghc-8.4.4<commit_after>{ stdenv, fetchurl, haskell, spass }:

stdenv.mkDerivation {
  name = "system-for-automated-deduction-2.3.25";
  src = fetchurl {
    url = "http://nevidal.org/download/sad-2.3-25.tar.gz";
    sha256 = "10jd93xgarik7xwys5lq7fx4vqp7c0yg1gfin9cqfch1k1v8ap4b";
  };
  buildInputs = [ haskell.compiler.ghc844 spass ];
  patches = [
    ./patch.patch
    # Since the LTS 12.0 update, <> is an operator in Prelude, colliding with
    # the <> operator with a different meaning defined by this package
    ./monoid.patch
  ];
  postPatch = ''
    substituteInPlace Alice/Main.hs --replace init.opt $out/init.opt
    '';
  installPhase = ''
    mkdir -p $out/{bin,provers}
    install alice $out/bin
    install provers/moses $out/provers
    substituteAll provers/provers.dat $out/provers/provers.dat
    substituteAll init.opt $out/init.opt
    cp -r examples $out
    '';
  inherit spass;
  meta = {
    description = "A program for automated proving of mathematical texts";
    longDescription = ''
      The system for automated deduction is intended for automated processing of formal mathematical texts
      written in a special language called ForTheL (FORmal THEory Language) or in a traditional first-order language
      '';
    license = stdenv.lib.licenses.gpl3Plus;
    maintainers = [ stdenv.lib.maintainers.schmitthenner ];
    homepage = "http://nevidal.org/sad.en.html";
    platforms = stdenv.lib.platforms.linux;
    broken = true;  # ghc-8.4.4 is gone from Nixpkgs
  };
}
{'fraction_non_alphanumeric': 0.1084297520661157, 'fraction_numerical': 0.02446280991735537, 'mean_word_length': 3.208623087621697, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 7, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '3218313', 'n_tokens_mistral': 1043, 'n_tokens_neox': 1029, 'n_words': 255}