mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-22 08:58:47 +00:00
4 lines
180 B
Plaintext
4 lines
180 B
Plaintext
TIMESTAMP = 1561572798
|
|
SHA256 (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4e8e232887ddfa643adb6a30dcd3743cb2fa6591735fbd302b49f7028cdc0363
|
|
SIZE (Z3Prover-z3-Z3-4.8.5_GH0.tar.gz) = 4177051
|