<commit_before>{stdenv, fetchsvn, writeScript, ocaml, findlib, camlp5}:

stdenv.mkDerivation rec {
  name = "hol_light-20110813";
  src = fetchsvn {
    url = http://hol-light.googlecode.com/svn/trunk;
    rev = "102";
    sha256 = "5b972672db6aa1838dc5d130accd9ab6a62030c6b0c1dc4b69e42088b1ae86c9";
  };

  buildInputs = [ ocaml findlib camlp5 ];

  start_script = ''
    #!/bin/sh
    cd "$out/lib/hol_light"
    exec ${ocaml}/bin/ocaml -I "$(ocamlfind query camlp5)" -init make.ml<commit_msg>Updated HOL Light to revision 112<commit_after>{stdenv, fetchsvn, writeScript, ocaml, findlib, camlp5}:

stdenv.mkDerivation rec {
  name = "hol_light-20111106";
  src = fetchsvn {
    url = http://hol-light.googlecode.com/svn/trunk;
    rev = "112";
    sha256 = "6c7b39ea024b2e8042c1a22a01f778caedaaf82189c9f2c1cfa8c08707151129";
  };

  buildInputs = [ ocaml findlib camlp5 ];

  start_script = ''
    #!/bin/sh
    cd "$out/lib/hol_light"
    exec ${ocaml}/bin/ocaml -I "$(ocamlfind query camlp5)" -init make.ml
{'fraction_non_alphanumeric': 0.13663366336633664, 'fraction_numerical': 0.11386138613861387, 'mean_word_length': 3.860576923076923, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, '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': 1}}
{'dir': 'git-commits-cleaned', 'id': '6884358', 'n_tokens_mistral': 484, 'n_tokens_neox': 425, 'n_words': 72}