<commit_before># This file was auto-generated by cabal2nix. Please do NOT edit manually!

{ cabal, ansiTerminal, attoparsec, bifunctors, cmdargs, deepseq
, filemanip, filepath, hashable, intern, mtl, parsec, syb, text
, textFormat, transformers, unorderedContainers, ocaml
}:

cabal.mkDerivation (self: {
  pname = "liquid-fixpoint";
  version = "0.2.1.0";
  sha256 = "11l9750ldxcb5jq34dl0iggpi9dh1zwjnlzgmwg4qvsgcq8cakdf";
  isLibrary = true;
  isExecutable = true;
  buildDepends = [
    ansiTerminal attoparsec bifunctors cmdargs deepseq filemanip
    filepath hashable intern mtl parsec syb text textFormat
    transformers unorderedContainers
  ];
  buildTools = [ ocaml ];
  meta = {
    homepage = "https://github.com/ucsd-progsys/liquid-fixpoint";
    description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver";
    license = self.stdenv.lib.licenses.bsd3;
    platforms = self.ghc.meta.platforms;
  };
})<commit_msg>haskell-liquid-fixpoint: re-generate with cabal2nix<commit_after># This file was auto-generated by cabal2nix. Please do NOT edit manually!

{ cabal, ansiTerminal, attoparsec, bifunctors, cmdargs, deepseq
, filemanip, filepath, hashable, intern, mtl, ocaml, parsec, syb
, text, textFormat, transformers, unorderedContainers
}:

cabal.mkDerivation (self: {
  pname = "liquid-fixpoint";
  version = "0.2.1.0";
  sha256 = "11l9750ldxcb5jq34dl0iggpi9dh1zwjnlzgmwg4qvsgcq8cakdf";
  isLibrary = true;
  isExecutable = true;
  buildDepends = [
    ansiTerminal attoparsec bifunctors cmdargs deepseq filemanip
    filepath hashable intern mtl parsec syb text textFormat
    transformers unorderedContainers
  ];
  buildTools = [ ocaml ];
  meta = {
    homepage = "https://github.com/ucsd-progsys/liquid-fixpoint";
    description = "Predicate Abstraction-based Horn-Clause/Implication Constraint Solver";
    license = self.stdenv.lib.licenses.bsd3;
    platforms = self.ghc.meta.platforms;
  };
})
{'fraction_non_alphanumeric': 0.09989701338825953, 'fraction_numerical': 0.02420185375901133, 'mean_word_length': 4.567335243553009, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 2, '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': '3433150', 'n_tokens_mistral': 730, 'n_tokens_neox': 695, 'n_words': 151}