<commit_before>class ElanInit < Formula
  desc "Lean Theorem Prover installer and version manager"
  homepage "https://github.com/leanprover/elan"
  url "https://github.com/leanprover/elan/archive/v1.0.4.tar.gz"
  sha256 "31014418604d0297293ce7b8c3d1a7ca7bc000bbb9780ec3afe3c2506569f659"
  license "Apache-2.0"
  head "https://github.com/leanprover/elan.git"

  bottle do
    sha256 cellar: :any_skip_relocation, big_sur:  "5a6c9b1787f9b44be7ca3e04279b627329afe53bfba413babda5eea20e2cb7ba"
    sha256 cellar: :any_skip_relocation, catalina: "d650bf34a478c04054003ca28bd84860e0d0bd4e714ce27d9a12aada47fc96b3"
    sha256 cellar: :any_skip_relocation, mojave:   "af21e8cbe617d588c37333fa7d5827315e5fdfceefdddbae226d908fcd2c3659"
  end

  depends_on "rust" => :build<commit_msg>elan-init 1.0.5<commit_after>class ElanInit < Formula
  desc "Lean Theorem Prover installer and version manager"
  homepage "https://github.com/leanprover/elan"
  url "https://github.com/leanprover/elan/archive/v1.0.5.tar.gz"
  sha256 "d321a624b8d5bd96797ad2b8c29297e969d7c17ca9a2c68d7c13ec955d3fa6aa"
  license "Apache-2.0"
  head "https://github.com/leanprover/elan.git"

  bottle do
    sha256 cellar: :any_skip_relocation, big_sur:  "5a6c9b1787f9b44be7ca3e04279b627329afe53bfba413babda5eea20e2cb7ba"
    sha256 cellar: :any_skip_relocation, catalina: "d650bf34a478c04054003ca28bd84860e0d0bd4e714ce27d9a12aada47fc96b3"
    sha256 cellar: :any_skip_relocation, mojave:   "af21e8cbe617d588c37333fa7d5827315e5fdfceefdddbae226d908fcd2c3659"
  end

  depends_on "rust" => :build
{'fraction_non_alphanumeric': 0.08709677419354839, 'fraction_numerical': 0.2129032258064516, 'mean_word_length': 6.421052631578948, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, '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': '6570854', 'n_tokens_mistral': 862, 'n_tokens_neox': 700, 'n_words': 84}