<commit_before>class Dafny < Formula
  desc "Verification-aware programming language"
  homepage "https://github.com/dafny-lang/dafny/blob/master/README.md"
  url "https://github.com/dafny-lang/dafny/archive/refs/tags/v3.8.0.tar.gz"
  sha256 "c3eb723c1e6d80df43f44bdba8ec45b80fc728b2cc8274f34c22655cc0e41720"
  license "MIT"

  livecheck do
    url :stable<commit_msg>dafny 3.8.1<commit_after>class Dafny < Formula
  desc "Verification-aware programming language"
  homepage "https://github.com/dafny-lang/dafny/blob/master/README.md"
  url "https://github.com/dafny-lang/dafny/archive/refs/tags/v3.8.1.tar.gz"
  sha256 "901b7e39dec8ac96159f32ac2fc8d795c3908d37788c80ce736754d4b6e142b4"
  license "MIT"

  livecheck do
    url :stable
{'fraction_non_alphanumeric': 0.11716621253405994, 'fraction_numerical': 0.12942779291553133, 'mean_word_length': 4.833333333333333, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 3, 'https://': 4, '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': '5347467', 'n_tokens_mistral': 360, 'n_tokens_neox': 314, 'n_words': 38}