sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

ats2-postiats 0.3.3 

Closes #11886.

Signed-off-by: FX Coudert <fxcoudert@gmail.com>
master
Alexander Hamann 2017-03-31 09:43:08 +02:00 committed by FX Coudert
parent 05e808f248
commit 96b7b0b575
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
Formula/ats2-postiats.rb
View File

@ -1,8 +1,8 @@
class Ats2Postiats < Formula class Ats2Postiats < Formula
desc "Statically typed programming language that unifies implementation and formal specification" desc "Programming language with formal specification features"
homepage "http://www.ats-lang.org/" homepage "http://www.ats-lang.org/"
url "https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.2.13/ATS2-Postiats-0.2.13.tgz" url "https://downloads.sourceforge.net/project/ats2-lang/ats2-lang/ats2-postiats-0.3.3/ATS2-Postiats-0.3.3.tgz"
sha256 "316eb28470154fb96ed69fddd5ef3477c4986835c48ab3e932fdaec7e7f23307" sha256 "e8fe0fb96bae2c988d44f8f1a564faa4d3ef9f1dafc4f406f584f94700013972"
bottle do bottle do
cellar :any cellar :any