rpms
/
cvc4
2
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update URL.

This commit is contained in:
Jerry James 2021-01-19 16:29:38 -07:00
parent 5629237c8f
commit 7e07a02a7f
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
cvc4.spec
View File

@ -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