<commit_before>class Acl2 < Formula
  desc "Logic and programming language in which you can model computer systems"
  homepage "https://www.cs.utexas.edu/users/moore/acl2/index.html"
  url "https://github.com/acl2/acl2/archive/8.5.tar.gz"
  sha256 "dcc18ab0220027b90f30cd9e5a67d8f603ff0e5b26528f3aab75dc8d3d4ebc0f"
  license "BSD-3-Clause"
  revision 1

  bottle do
    sha256 arm64_monterey: "f84536e0f18d7c4a5ecc41bfa9a98cdb720bf159d8849815b3cd3a2e645ab74a"
    sha256 arm64_big_sur:  "177db7153dfa84b9482379248a82a5c2ae92f3c116c02995e8742ed4036fdc2b"
    sha256 monterey:       "387f390962a6274b4ddaedadf1ad2779b2dc7d2de8a7b28819204de09455fa0a"
    sha256 big_sur:        "402731c77cfbb6cdfd6bbdbd7c28b37ba69a513c0e660db06f838a7ae300755b"
    sha256 catalina:       "5a6e19bcf49e3b7d9a6e4a64a1132d5e286734ce73544627f85378cdac6463c4"
    sha256 x86_64_linux:   "118c199aa527dc658e4237672f321631be421b98b649f650eb2993091cad28f0"
  end

  depends_on "sbcl"
<commit_msg>acl2: revision bump (sbcl 2.2.9)<commit_after>class Acl2 < Formula
  desc "Logic and programming language in which you can model computer systems"
  homepage "https://www.cs.utexas.edu/users/moore/acl2/index.html"
  url "https://github.com/acl2/acl2/archive/8.5.tar.gz"
  sha256 "dcc18ab0220027b90f30cd9e5a67d8f603ff0e5b26528f3aab75dc8d3d4ebc0f"
  license "BSD-3-Clause"
  revision 2

  bottle do
    sha256 arm64_monterey: "f84536e0f18d7c4a5ecc41bfa9a98cdb720bf159d8849815b3cd3a2e645ab74a"
    sha256 arm64_big_sur:  "177db7153dfa84b9482379248a82a5c2ae92f3c116c02995e8742ed4036fdc2b"
    sha256 monterey:       "387f390962a6274b4ddaedadf1ad2779b2dc7d2de8a7b28819204de09455fa0a"
    sha256 big_sur:        "402731c77cfbb6cdfd6bbdbd7c28b37ba69a513c0e660db06f838a7ae300755b"
    sha256 catalina:       "5a6e19bcf49e3b7d9a6e4a64a1132d5e286734ce73544627f85378cdac6463c4"
    sha256 x86_64_linux:   "118c199aa527dc658e4237672f321631be421b98b649f650eb2993091cad28f0"
  end

  depends_on "sbcl"

{'fraction_non_alphanumeric': 0.06182933060807358, 'fraction_numerical': 0.3229432805314256, 'mean_word_length': 5.967971530249111, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 3, 'https://': 4, 'lorem ipsum': 0, 'www.': 2, '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': '7099772', 'n_tokens_mistral': 1259, 'n_tokens_neox': 956, 'n_words': 100}