svn commit: r547435 - head/misc/otter
Stefan Eßer
se at FreeBSD.org
Thu Sep 3 11:38:41 UTC 2020
Author: se
Date: Thu Sep 3 11:38:40 2020
New Revision: 547435
URL: https://svnweb.freebsd.org/changeset/ports/547435
Log:
Add license
AFAICT, this software has been put into the public domain by its authors
and licensed for unrestricted world-wide distribution and use.
Modified:
head/misc/otter/Makefile
Modified: head/misc/otter/Makefile
==============================================================================
--- head/misc/otter/Makefile Thu Sep 3 09:41:20 2020 (r547434)
+++ head/misc/otter/Makefile Thu Sep 3 11:38:40 2020 (r547435)
@@ -3,12 +3,15 @@
PORTNAME= otter
PORTVERSION= 3.3f
-PORTREVISION= 3
+PORTREVISION= 4
CATEGORIES= misc
MASTER_SITES= http://www-unix.mcs.anl.gov/AR/otter/dist33/
MAINTAINER= wollman at FreeBSD.org
COMMENT= Theorem prover and finite model searcher
+
+LICENSE= PD
+LICENSE_FILE= ${WRKSRC}/Legal
USES= shebangfix
SHEBANG_FILES= examples-mace2/Perl-examples/commute4_filter
More information about the svn-ports-all
mailing list