<commit_before>require 'formula'

class Coq < Formula
  url 'http://coq.inria.fr/distrib/V8.2pl2/files/coq-8.2pl2.tar.gz'
  homepage 'http://coq.inria.fr/'
  md5 '0fa1bcce3ab83d95571d2094f5091e6b'
  version '8.2'

  depends_on 'objective-caml'
  depends_on 'camlp5'

  def install
    unless `camlp5 -pmode 2>&1`.chomp == 'transitional'
      onoe 'camlp5 must be compiled in transitional mode (--transitional option)'
      exit 1
    end
    arch = Hardware.is_64_bit? ? "x86_64" : "i386"
    camlp5_lib = Formula.factory('camlp5').lib+'ocaml/camlp5'
    system "./configure", "-prefix", prefix,
                          "-mandir", man,<commit_msg>coq: Upgrade to v8.3<commit_after>require 'formula'

class Coq < Formula
  url 'http://coq.inria.fr/distrib/V8.3/files/coq-8.3.tar.gz'
  head 'svn://scm.gforge.inria.fr/svn/coq/trunk'
  homepage 'http://coq.inria.fr/'
  md5 '14b80e6b7075adf1516ab931202be8df'

  depends_on 'objective-caml'
  depends_on 'camlp5'

  def install
    unless `camlp5 -pmode 2>&1`.chomp == 'transitional'
      onoe 'camlp5 must be compiled in transitional mode (--transitional option)'
      exit 1
    end
    arch = Hardware.is_64_bit? ? "x86_64" : "i386"
    camlp5_lib = Formula.factory('camlp5').lib+'ocaml/camlp5'
    system "./configure", "-prefix", prefix,
                          "-mandir", man,
{'fraction_non_alphanumeric': 0.1437125748502994, 'fraction_numerical': 0.06811377245508982, 'mean_word_length': 3.002994011976048, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, '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': 0}}
{'dir': 'git-commits-cleaned', 'id': '5178984', 'n_tokens_mistral': 566, 'n_tokens_neox': 531, 'n_words': 100}