Date: Mon, 6 Feb 2006 17:36:47 +0000 (UTC) From: Renato Botelho <garga@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/misc Makefile ports/misc/otter Makefile distinfo pkg-descr pkg-plist Message-ID: <200602061736.k16Halp7070812@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
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)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200602061736.k16Halp7070812>