garga 2006-02-06 17:36:47 UTC
FreeBSD ports repository
Modified files:
misc Makefile
Added files:
misc/otter Makefile distinfo pkg-descr pkg-plist
Log:
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
Revision Changes Path
1.793 +1 -0 ports/misc/Makefile
1.1 +38 -0 ports/misc/otter/Makefile (new)
1.1 +3 -0 ports/misc/otter/distinfo (new)
1.1 +5 -0 ports/misc/otter/pkg-descr (new)
1.1 +339 -0 ports/misc/otter/pkg-plist (new)
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[EMAIL PROTECTED]"
