sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-07-18 01:39:16 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add license

Browse source 
AFAICT, this software has been put into the public domain by its authors
and licensed for unrestricted world-wide distribution and use.
This commit is contained in:
Stefan Eßer 2020-09-03 11:38:40 +00:00
parent a168395ed7
commit cfd0200c04
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=547435
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
misc/otter/Makefile
View file

@ -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