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

ats2-postiats 0.3.12

Browse source 
Closes #37225.

Signed-off-by: Misty De Meo <mistydemeo@github.com>
This commit is contained in:
Caleb Xu 2019-02-23 17:53:51 -05:00 committed by Misty De Meo
parent 1c7339c862
commit 6a013d3c51
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.11/ATS2-Postiats-0.3.11.tgz"
sha256 "feba71f37e9688b8ff0a72c4eb21914ce59f19421350d9dc3f15ad6f8c28428a"
url "https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.3.12/ATS2-Postiats-0.3.12.tgz"
sha256 "63eb02b225a11752745e8f08691140ed764288ab4ceda3710670cde24835b0d8"
bottle do
cellar :any