From 7e07a02a7f517b0d7a6a50ff8962cc43f47abf87 Mon Sep 17 00:00:00 2001
From: Jerry James <loganjerry@gmail.com>
Date: Tue, 19 Jan 2021 16:29:38 -0700
Subject: [PATCH] Update URL.

---
 cvc4.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cvc4.spec b/cvc4.spec
index 355cc5e..d599b98 100644
--- a/cvc4.spec
+++ b/cvc4.spec
@@ -15,7 +15,7 @@ Summary:        Automatic theorem prover for SMT problems
 #   o src/parser/bounded_token_buffer.cpp
 # - All other files are distributed under the MIT license
 License:        Boost and BSD and MIT
-URL:            http://cvc4.cs.stanford.edu/
+URL:            https://cvc4.github.io/
 Source0:        https://github.com/CVC4/CVC4/archive/%{version}/%{name}-%{version}.tar.gz
 # Do not override Fedora flags
 Patch0:         %{name}-flags.patch