1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-01 05:45:45 +00:00
freebsd-ports/math/cvc3/distinfo
Cheng-Lung Sung 8fdb6ad4aa Add cvc3 1.0, an automatic theorem prover for the SMT problem.
PR:		ports/110770
Submitted by:	Li-Wen Hsu <lwhsu at lwhsu.org>
2007-03-25 04:04:30 +00:00

4 lines
181 B
Plaintext

MD5 (cvc3-1.0.tar.gz) = afe2e56b3002fd4dda73e68acda2e4a1
SHA256 (cvc3-1.0.tar.gz) = 9a027f209471303751536133cc4643a3b14b975784e4c56cc47ca3c57ac15d0c
SIZE (cvc3-1.0.tar.gz) = 756035