<commit_before>class Coq < Formula
  desc "Proof assistant for higher-order logic"
  homepage "https://coq.inria.fr/"
  url "https://github.com/coq/coq/archive/V8.14.0.tar.gz"
  sha256 "b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c"
  license "LGPL-2.1-only"
  head "https://github.com/coq/coq.git", branch: "master"

  livecheck do
    url :stable
    regex(/^v?(\d+(?:\.\d+)+)$/i)
  end

  bottle do
    sha256 arm64_big_sur: "c6cca2fc5b3e5bef2a8e41dd0be406f194d851488f203e8e28b13ee50cfa3de0"
    sha256 big_sur:       "713249fb2cd2bd966aee2f72650a903cacf73755827fe18145048558d7b046df"
    sha256 catalina:      "389f742cb25060e9a1ccfe95038a0894861d6d44dfcf5041baef6e68337cf383"
    sha256 mojave:        "122e19363864981f2c48354282cb5ecfad5ef2a729b070666e9df134220130c4"
    sha256 x86_64_linux:  "f7638795e1099deb2573fb402f0526bbef723e362f04f6ae6626c26dce8060dd"
  end

  depends_on "dune" => :build
  depends_on "ocaml-findlib" => :build
  depends_on "ocaml"
  depends_on "ocaml-zarith"

  uses_from_macos "m4" => :build
  uses_from_macos "unzip" => :build

  def install
    system "./configure", "-prefix", prefix,
                          "-mandir", man,
                          "-coqdocdir", "#{pkgshare}/latex",<commit_msg>coq: update 8.14.0 bottle.<commit_after>class Coq < Formula
  desc "Proof assistant for higher-order logic"
  homepage "https://coq.inria.fr/"
  url "https://github.com/coq/coq/archive/V8.14.0.tar.gz"
  sha256 "b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c"
  license "LGPL-2.1-only"
  head "https://github.com/coq/coq.git", branch: "master"

  livecheck do
    url :stable
    regex(/^v?(\d+(?:\.\d+)+)$/i)
  end

  bottle do
    sha256 arm64_monterey: "54894e4e79d0350a885179db6a4e27f0b999300bfaeb85559eb0a21d077d3ed9"
    sha256 arm64_big_sur:  "c6cca2fc5b3e5bef2a8e41dd0be406f194d851488f203e8e28b13ee50cfa3de0"
    sha256 monterey:       "9165f4e29ed7e25b00498f71cb608b9e74cf1dd64df5fcd403d6cf2c35b11cf5"
    sha256 big_sur:        "713249fb2cd2bd966aee2f72650a903cacf73755827fe18145048558d7b046df"
    sha256 catalina:       "389f742cb25060e9a1ccfe95038a0894861d6d44dfcf5041baef6e68337cf383"
    sha256 mojave:         "122e19363864981f2c48354282cb5ecfad5ef2a729b070666e9df134220130c4"
    sha256 x86_64_linux:   "f7638795e1099deb2573fb402f0526bbef723e362f04f6ae6626c26dce8060dd"
  end

  depends_on "dune" => :build
  depends_on "ocaml-findlib" => :build
  depends_on "ocaml"
  depends_on "ocaml-zarith"

  uses_from_macos "m4" => :build
  uses_from_macos "unzip" => :build

  def install
    system "./configure", "-prefix", prefix,
                          "-mandir", man,
                          "-coqdocdir", "#{pkgshare}/latex",
{'fraction_non_alphanumeric': 0.10456553755522828, 'fraction_numerical': 0.24042709867452136, 'mean_word_length': 3.9761904761904763, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 11, 'https://': 6, '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': '2827435', 'n_tokens_mistral': 1539, 'n_tokens_neox': 1207, 'n_words': 150}