Date: Thu, 3 Sep 2020 11:38:40 +0000 (UTC) From: =?UTF-8?Q?Stefan_E=c3=9fer?= <se@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r547435 - head/misc/otter Message-ID: <202009031138.083BceBN048515@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202009031138.083BceBN048515>