8000 dafny 3.7.1 · ArduinoBot/homebrew-core@42453be · GitHub
[go: up one dir, main page]
Skip to content

Commit 42453be

Browse files
BrewTestBotBrewTestBot
committed
dafny 3.7.1
Closes Homebrew#104159. Signed-off-by: Sean Molenaar <1484494+SMillerDev@users.noreply.github.com> Signed-off-by: BrewTestBot <1589480+BrewTestBot@users.noreply.github.com>
1 parent 8bf3a22 commit 42453be

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

‎Formula/dafny.rb

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,8 @@
11
class Dafny < Formula
22
desc "Verification-aware programming language"
33
homepage "https://github.com/dafny-lang/dafny/blob/master/README.md"
4-
url "https://github.com/dafny-lang/dafny/archive/v3.7.0.tar.gz"
5-
sha256 "d7f7570948a18e92715cc8cc13d2f29b1ca26a89be02b857a027c199bc74e721"
4+
url "https://github.com/dafny-lang/dafny/archive/v3.7.1.tar.gz"
5+
sha256 "6d77fca0875bdac4ef9167b1fd72bb9de02fc60bc01be3d8243d224709e50ec5"
66
license "MIT"
77

88
livecheck do

0 commit comments

Comments
 (0)
0