58ad5d751d
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
3 lines
188 B
Text
3 lines
188 B
Text
MD5 (otter-3.3f.tar.gz) = 795711b307cc1316e08d3d4f46c998c9
|
|
SHA256 (otter-3.3f.tar.gz) = 392c8c6557944eaf6958c199c365b43189beab836fb80c716569ea43af0dac9a
|
|
SIZE (otter-3.3f.tar.gz) = 2554827
|