summaryrefslogtreecommitdiff
path: root/math/picosat/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'math/picosat/Makefile')
-rw-r--r--math/picosat/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/math/picosat/Makefile b/math/picosat/Makefile
index 15b60fc51843..722bb6ffc35c 100644
--- a/math/picosat/Makefile
+++ b/math/picosat/Makefile
@@ -5,6 +5,7 @@ MASTER_SITES= http://fmv.jku.at/picosat/
MAINTAINER= bofh@FreeBSD.org
COMMENT= Satisfiability (SAT) solver for boolean variables
+WWW= http://fmv.jku.at/picosat
LICENSE= MIT
LICENSE_FILE= ${WRKSRC}/LICENSE