wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

dafny: add 2.3.0 bottle.

Browse source
This commit is contained in:
BrewTestBot 2019-10-02 06:04:58 +00:00 committed by Thierry Moisan
parent e6576686e5
commit 9494977d03
No known key found for this signature in database
GPG key ID: A9A4CB593D38CDD0
1 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
Formula/dafny.rb
View file

@ -4,6 +4,13 @@ class Dafny < Formula
url "https://github.com/dafny-lang/dafny/archive/v2.3.0.tar.gz"
sha256 "ea7ae310282c922772a46a9a85e2b4213043283038b74d012047b5294687d168"
bottle do
cellar :any_skip_relocation
sha256 "73faff043056b7e45842d6c528a530d4ce4f5072f92ed7612cdd458d64de2985" => :catalina
sha256 "c0a0e194956400b852678cddfd8f9135ccdb8fd1949dc24611d0a37ec9b5640a" => :mojave
sha256 "2bf8cf46f3233236273c8cfdec90e7f8168fc160342ac36a0c6bc8f22f57559b" => :high_sierra
end
depends_on "mono-libgdiplus" => :build
depends_on "nuget" => :build
depends_on "mono"