mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-20 00:21:35 +00:00
6 lines
319 B
Plaintext
6 lines
319 B
Plaintext
TIMESTAMP = 1678859148
|
|
SHA256 (antlr-3.4-complete.jar) = 9d3e866b610460664522520f73b81777b5626fb0a282a5952b9800b751550bf7
|
|
SIZE (antlr-3.4-complete.jar) = 2388361
|
|
SHA256 (cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz) = a9705569fe36c70291dd1eb6dc5f542d33da51f82da46558e3455ed6995b1b7a
|
|
SIZE (cvc5-cvc5-cvc5-1.0.5_GH0.tar.gz) = 8431503
|