diff options
| author | Viktor Szakáts | 2015-03-30 18:53:02 +0200 |
|---|---|---|
| committer | Mike McQuaid | 2015-03-30 19:26:18 +0100 |
| commit | c2bec814a7f716fc7e057fd9f7fc376d7e0742ff (patch) | |
| tree | 1af65305e33744b4b3a6cb4d4d605b341bb1c720 /Library | |
| parent | ed6f6829d6d696a2e497b4e92d86eda38b4b24e9 (diff) | |
| download | homebrew-c2bec814a7f716fc7e057fd9f7fc376d7e0742ff.tar.bz2 | |
cvc4: use https url and homepage
Homepage serves mixed-content.
Closes #38196.
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/cvc4.rb | 4 |
1 files changed, 2 insertions, 2 deletions
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 |