freebsd-ports/misc/otter/distinfo

SHA256 (otter-3.3f.tar.gz) = 392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a
SIZE (otter-3.3f.tar.gz) = 2554827
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 18:36:47 +01:00			`SHA256 (otter-3.3f.tar.gz) = 392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a`
			`SIZE (otter-3.3f.tar.gz) = 2554827`