svn commit: r547435 - head/misc/otter

[Stefan Eßer]

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