diff options
Diffstat (limited to 'math/cvc4/Makefile')
| -rw-r--r-- | math/cvc4/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/cvc4/Makefile b/math/cvc4/Makefile index 842acc3e580e..0e1a4ddfe07a 100644 --- a/math/cvc4/Makefile +++ b/math/cvc4/Makefile @@ -11,6 +11,7 @@ PATCHFILES+= fc8907afc08d.patch:-p1 # Install Java bindings MAINTAINER= greg@unrelenting.technology COMMENT= Automatic theorem prover for SMT (Satisfiability Modulo Theories) +WWW= https://cvc4.cs.stanford.edu/web/ LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/COPYING |