From c2bec814a7f716fc7e057fd9f7fc376d7e0742ff Mon Sep 17 00:00:00 2001 From: Viktor Szakáts Date: Mon, 30 Mar 2015 18:53:02 +0200 Subject: cvc4: use https url and homepage Homepage serves mixed-content. Closes #38196. Signed-off-by: Mike McQuaid --- Library/Formula/cvc4.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Library') diff --git a/Library/Formula/cvc4.rb b/Library/Formula/cvc4.rb index 90aa96bcc..0bb2d14ea 100644 --- a/Library/Formula/cvc4.rb +++ b/Library/Formula/cvc4.rb @@ -1,6 +1,6 @@ class Cvc4 < Formula - homepage "http://cvc4.cs.nyu.edu/" - url "http://cvc4.cs.nyu.edu/builds/src/cvc4-1.4.tar.gz" + homepage "https://cvc4.cs.nyu.edu/" + url "https://cvc4.cs.nyu.edu/builds/src/cvc4-1.4.tar.gz" sha256 "76fe4ff9eb9ad7d65589efb47d41aae95f3191bd0d0c3940698a7cb2df3f7024" bottle do -- cgit v1.2.3