diff options
Diffstat (limited to 'devel/spin/Makefile')
| -rw-r--r-- | devel/spin/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/spin/Makefile b/devel/spin/Makefile index a5f1e8a0f1ed..8f84d27293aa 100644 --- a/devel/spin/Makefile +++ b/devel/spin/Makefile @@ -5,6 +5,7 @@ CATEGORIES= devel MAINTAINER= greg@unrelenting.technology COMMENT= On-the-fly verification system for asynchronous concurrent systems +WWW= http://spinroot.com LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/Src/LICENSE |