aboutsummaryrefslogtreecommitdiff
path: root/math/boolector/distinfo
blob: 772cf8e87c719aed4a60dbe6c959c7ad48b3aa3c (plain) (blame) 
1
2
3

TIMESTAMP = 1585205935
SHA256 (Boolector-boolector-3.2.1_GH0.tar.gz) = 0273347f6b24be406e5d37fd3681d64847a0eecb4131006a6afb8f120b69c4dd
SIZE (Boolector-boolector-3.2.1_GH0.tar.gz) = 1561216
generated by cgit v1.2.3 (git 2.25.1) at 2024-06-20 07:50:00 +0000