1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-23 04:23:08 +00:00
freebsd-ports/math/py-z3-solver/distinfo
2020-03-06 02:17:03 +00:00

4 lines
180 B
Plaintext

TIMESTAMP = 1583458496
SHA256 (Z3Prover-z3-z3-4.8.7_GH0.tar.gz) = 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3
SIZE (Z3Prover-z3-z3-4.8.7_GH0.tar.gz) = 4343720