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

ott 0.27

Browse source 
Closes #21124.

Signed-off-by: ilovezfs <ilovezfs@icloud.com>
This commit is contained in:
JCount 2017-11-28 01:09:36 -05:00 committed by ilovezfs
parent 8e25844a7e
commit 1bd65a14e4
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/ott.rb
View file

@ -1,8 +1,8 @@
class Ott < Formula
desc "Tool for writing definitions of programming languages and calculi"
homepage "https://www.cl.cam.ac.uk/~pes20/ott/"
url "https://github.com/ott-lang/ott/archive/0.26.tar.gz"
sha256 "fda1380c33a661290b13241c56dd29c4e09667db738dcd68bc9b388e93137e2c"
url "https://github.com/ott-lang/ott/archive/0.27.tar.gz"
sha256 "e0ebb3742a6632312cf4de71dad4e4eadfe420b6b86a5d6df6776c4135044ac5"
head "https://github.com/ott-lang/ott.git"
bottle do