mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-01 05:45:45 +00:00
9b5ed59b75
Reported by: portscout
4 lines
190 B
Plaintext
4 lines
190 B
Plaintext
TIMESTAMP = 1585205935
|
|
SHA256 (Boolector-boolector-3.2.1_GH0.tar.gz) = 0273347f6b24be406e5d37fd3681d64847a0eecb4131006a6afb8f120b69c4dd
|
|
SIZE (Boolector-boolector-3.2.1_GH0.tar.gz) = 1561216
|