From 0a37004aadfcef850a8abad6563cc6350e7aab41 Mon Sep 17 00:00:00 2001 From: ilovezfs Date: Thu, 23 Feb 2017 01:20:25 -0800 Subject: [PATCH] civl: use https for homepage and stable url --- Formula/civl.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Formula/civl.rb b/Formula/civl.rb index 61041a63cb..ca21b9aba9 100644 --- a/Formula/civl.rb +++ b/Formula/civl.rb @@ -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