distinfo « z3 « math - freebsd/ports.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/math/z3/distinfo

blob: 57345d04df5a65125f2ff5c5e1eb49ae68b27c5b (plain) (blame)

1
2
3

TIMESTAMP = 1713421143
SHA256 (Z3Prover-z3-z3-4.13.0_GH0.tar.gz) = 01bcc61c8362e37bb89fd2430f7e3385e86df7915019bd2ce45de9d9bd934502
SIZE (Z3Prover-z3-z3-4.13.0_GH0.tar.gz) = 5520232