mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-19 00:13:33 +00:00
4 lines
190 B
Plaintext
4 lines
190 B
Plaintext
TIMESTAMP = 1699204051
|
|
SHA256 (Boolector-boolector-3.2.3_GH0.tar.gz) = 9862134d33cb3ed0aeb6be3c9b154a4d0a90fd076f46ef97cf872813109cc5d9
|
|
SIZE (Boolector-boolector-3.2.3_GH0.tar.gz) = 1566566
|