openbsd-ports/devel/stp/distinfo

MD5 (stp-ver-0.1-11-18-2008.tgz) = lA/WmBc6WgmtDRWr3aCD3Q==
RMD160 (stp-ver-0.1-11-18-2008.tgz) = 87Lg3bT3KuUVcS/JStxY0TVrxcs=
SHA1 (stp-ver-0.1-11-18-2008.tgz) = YE1wNMsVUlYzywg1SonzjSq782s=
SHA256 (stp-ver-0.1-11-18-2008.tgz) = 7xZWcjVJURmzlTkuMGq772WQLOOipn00N0I0MxmxsYo=
SIZE (stp-ver-0.1-11-18-2008.tgz) = 18366530
Initial import of stp 0.1. STP is a constraint solver (also referred to as a decision procedure or automated prover) aimed at solving constraints generated by program analysis tools, theorem provers, automated bug finders, intelligent fuzzers and model checkers. ok benoit@ 2009-12-17 04:43:28 -05:00			`MD5 (stp-ver-0.1-11-18-2008.tgz) = lA/WmBc6WgmtDRWr3aCD3Q==`
			`RMD160 (stp-ver-0.1-11-18-2008.tgz) = 87Lg3bT3KuUVcS/JStxY0TVrxcs=`
			`SHA1 (stp-ver-0.1-11-18-2008.tgz) = YE1wNMsVUlYzywg1SonzjSq782s=`
			`SHA256 (stp-ver-0.1-11-18-2008.tgz) = 7xZWcjVJURmzlTkuMGq772WQLOOipn00N0I0MxmxsYo=`
			`SIZE (stp-ver-0.1-11-18-2008.tgz) = 18366530`