From cfd0200c04ae22d24c190b25bd86eda6e1bfca7b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Stefan=20E=C3=9Fer?= Date: Thu, 3 Sep 2020 11:38:40 +0000 Subject: [PATCH] Add license AFAICT, this software has been put into the public domain by its authors and licensed for unrestricted world-wide distribution and use. --- misc/otter/Makefile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/misc/otter/Makefile b/misc/otter/Makefile index fbdb221138d4..2e00b210bea7 100644 --- a/misc/otter/Makefile +++ b/misc/otter/Makefile @@ -3,13 +3,16 @@ PORTNAME= otter PORTVERSION= 3.3f -PORTREVISION= 3 +PORTREVISION= 4 CATEGORIES= misc MASTER_SITES= http://www-unix.mcs.anl.gov/AR/otter/dist33/ MAINTAINER= wollman@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