diff options
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 |