aboutsummaryrefslogblamecommitdiff
path: root/math/minisat/distinfo
blob: 96ab870034b482a90be352c6e392c4d4400cc2f5 (plain) (tree) 
e03359c0aac5


1
2


                                                                                                
SHA256 (minisat-2.2.1.tar.gz) = d39de26ad3c56a0fbc30a92c23004a5fb2802e8aebd34febc107dc43781e9a19
SIZE (minisat-2.2.1.tar.gz) = 49892
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-31 20:13:53 +0000