mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-02 01:20:54 +00:00
Code Issues Releases Activity
235,955 Commits 45 Branches 100 Tags 3.3 GiB
06fe441889
Commit Graph

2 Commits

Author SHA1 Message Date
Ion-Mihai Tetcu
39fd6bb5d7 - fix typo, hence plist for -DNOPORTDOCS 
- bum PORTREVISION

Approved by:	maintainer timeout on QAT BotMails
Prompted by:	QAT QA run
 2008-11-18 17:30:04 +00:00
Renato Botelho
58ad5d751d Otter is an automated deduction system (theorem prover) for 
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
 2006-02-06 17:36:47 +00:00