1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-05 01:55:52 +00:00
freebsd-ports/misc/otter/distinfo
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

4 lines
188 B
Plaintext

MD5 (otter-3.3f.tar.gz) = 795711b307cc1316e08d3d4f46c998c9
SHA256 (otter-3.3f.tar.gz) = 392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a
SIZE (otter-3.3f.tar.gz) = 2554827