ports/misc/otter, branch 6-eol
FreeBSD ports tree
https://cgit-dev.freebsd.org/ports/atom?h=6-eol
2008-11-18T17:30:04Z
- fix typo, hence plist for -DNOPORTDOCS
2008-11-18T17:30:04Z
Ion-Mihai Tetcu
itetcu@FreeBSD.org
2008-11-18T17:30:04Z
urn:sha1:39fd6bb5d73382b1652b4996014b146f227c4b9e
- bum PORTREVISION
Approved by: maintainer timeout on QAT BotMails
Prompted by: QAT QA run
Otter is an automated deduction system (theorem prover) for
2006-02-06T17:36:47Z
Renato Botelho
garga@FreeBSD.org
2006-02-06T17:36:47Z
urn:sha1:58ad5d751d136b784ab0f8ec370b9b32e0485f96
first-order logic with equality developed at Argonne National
Laboratories.
WWW: http://www-unix.mcs.anl.gov/AR/otter/
PR: ports/92834
Submitted by: wollman