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

ats2-postiats 0.3.9

Browse source 
Closes #22908.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
ilovezfs 2018-01-16 02:08:23 -08:00
parent a9e68dbe59
commit 82fc3231bf
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/ats2-postiats.rb
View file

@ -1,8 +1,8 @@
class Ats2Postiats < Formula
desc "Programming language with formal specification features"
homepage "http://www.ats-lang.org/"
url "https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.3.8/ATS2-Postiats-0.3.8.tgz"
sha256 "834342be1e2af51a1d0b4151f4d76173946ab9424efcd27b11de17e9031201df"
url "https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.3.9/ATS2-Postiats-0.3.9.tgz"
sha256 "c69a7c58964df26227e77656659129ca4c05205d2ebcacc7084edba818fb6e81"
bottle do
cellar :any