summaryrefslogblamecommitdiff
path: root/math/cryptominisat/distinfo
blob: 4a418bdbf798ef65de2773a90bc7d090bfa43a27 (plain) (tree) 
a9aa316ecb98



1
2
3



                                                                                                                
TIMESTAMP = 1603118756
SHA256 (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 50153025c8503ef32f32fff847ee24871bb0fc1f0b13e17fe01aa762923f6d94
SIZE (msoos-cryptominisat-5.8.0_GH0.tar.gz) = 943785
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-07 13:04:22 +0000