openbsd-ports/math/prover9/ladr/distinfo

MD5 (LADR-Dec-2007.tar.gz) = biiW7UzORVa/zDIXeN9d/g==
RMD160 (LADR-Dec-2007.tar.gz) = ActjHGKvQ+q1I5Y3pSaIoV7Qa4g=
SHA1 (LADR-Dec-2007.tar.gz) = yCHDib2V+2x8vOUJSY6mwRUlm4g=
SHA256 (LADR-Dec-2007.tar.gz) = iiLdczDMFf43lbpxrk4zezfQ0hyv4Ke6Yb7Svz6AhXc=
SIZE (LADR-Dec-2007.tar.gz) = 1787225
import Prover9, Mace4, and several related programs come packaged in a system called LADR (Library for Automated Deduction Research). split into ladr (prover9 mace4 tools) and p9m4 (gui to ladr) ok aja@ and thanks to landry@/robert@ too for putting up with my ranting about this.. 2011-03-07 22:26:24 +00:00			`MD5 (LADR-Dec-2007.tar.gz) = biiW7UzORVa/zDIXeN9d/g==`
			`RMD160 (LADR-Dec-2007.tar.gz) = ActjHGKvQ+q1I5Y3pSaIoV7Qa4g=`
			`SHA1 (LADR-Dec-2007.tar.gz) = yCHDib2V+2x8vOUJSY6mwRUlm4g=`
			`SHA256 (LADR-Dec-2007.tar.gz) = iiLdczDMFf43lbpxrk4zezfQ0hyv4Ke6Yb7Svz6AhXc=`
			`SIZE (LADR-Dec-2007.tar.gz) = 1787225`