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

fstar: fix spacing

Browse source
This commit is contained in:
Dominyk Tiller 2016-08-23 14:41:48 +01:00
parent 88f03109a2
commit 20e2fc8af3
No known key found for this signature in database
GPG key ID: FE19AEFCF658C6F6
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Formula/fstar.rb
View file

@ -2,9 +2,8 @@ class Fstar < Formula
desc "Language with a type system for program verification"
homepage "https://www.fstar-lang.org/"
url "https://github.com/FStarLang/FStar.git",
:tag => "v0.9.2.0",
:revision => "2a8ce0b3dfbfb9703079aace0d73f2479f0d0ce2"
:tag => "v0.9.2.0",
:revision => "2a8ce0b3dfbfb9703079aace0d73f2479f0d0ce2"
revision 1
head "https://github.com/FStarLang/FStar.git"