openbsd-ports/math/z3/distinfo
rpointel c0acae0063 import the z3 theorem prover.
ok benoit@ input & ok daniel@
2017-02-12 21:48:19 +00:00

3 lines
105 B
Plaintext

SHA256 (z3-4.5.0.tar.gz) = rq4dI5xeBqwYO+fdhTd1uEaY2xJlyyJY5ZGKKDctSgw=
SIZE (z3-4.5.0.tar.gz) = 3573695