aboutsummaryrefslogtreecommitdiff
path: root/math/picosat/distinfo
blob: 54a18de92c12c76d20e0faba8e3385899caa093d (plain) (blame) 
1
2
3

TIMESTAMP = 1467032430
SHA256 (picosat-965.tar.gz) = 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754
SIZE (picosat-965.tar.gz) = 64386
generated by cgit v1.2.3 (git 2.25.1) at 2024-10-01 01:43:42 +0000