Whitespace, layout nits in cvc4

This commit is contained in:
ndr 2014-12-20 15:33:38 +00:00
parent a1fd89185f
commit d66e7e5e33
1 changed files with 1 additions and 1 deletions

View File

@ -3,7 +3,7 @@ cask :v1 => 'cvc4' do
if MacOS.release <= :mountain_lion
version '1.4'
sha256 '436ebe16872a08bb41270cb1302c4258a7ccd187bf8e68ad8301300e49fb7718'
# Mountain Lion package might work on older releases, per homepage
url "http://cvc4.cs.nyu.edu/builds/macos/cvc4-#{version}.MacOs85.MountainLion.mpkg"