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

civl: use https for homepage and stable url

Browse source
This commit is contained in:
ilovezfs 2017-02-23 01:20:25 -08:00
parent da2288bea1
commit 0a37004aad
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/civl.rb
View file

@ -1,7 +1,7 @@
class Civl < Formula
desc "The Concurrency Intermediate Verification Language"
homepage "http://vsl.cis.udel.edu/civl/"
url "http://vsl.cis.udel.edu/lib/sw/civl/1.7/r3157/release/CIVL-1.7_3157.tgz"
homepage "https://vsl.cis.udel.edu/civl/"
url "https://vsl.cis.udel.edu/lib/sw/civl/1.7/r3157/release/CIVL-1.7_3157.tgz"
version "1.7-3157"
sha256 "49ed0467ea281bf5a436b2caf4f87862d3f613fa9e6e746ce52cfd409c3f4403"
revision 1