Module Name:	pkgsrc
Committed By:	jtb
Date:		Sat Nov 25 18:19:21 UTC 2000

Update of /cvsroot/pkgsrc/math/otter
In directory netbsd.hut.fi:/tmp/cvs-serv27851

Log Message:
Initial import of new "otter" package:
Otter is a theorem-proving program


Vendor Tag:	TNF
Release Tags:	pkgsrc-base
		
N pkgsrc/math/otter/Makefile
N pkgsrc/math/otter/pkg/PLIST
N pkgsrc/math/otter/pkg/COMMENT
N pkgsrc/math/otter/pkg/DESCR
N pkgsrc/math/otter/files/md5
N pkgsrc/math/otter/files/patch-sum
N pkgsrc/math/otter/patches/patch-aa
N pkgsrc/math/otter/patches/patch-ab

No conflicts created by this import