2 lines
133 B
Text
2 lines
133 B
Text
SHA256 (minisat-2.2.1.tar.gz) = d39de26ad3c56a0fbc30a92c23004a5fb2802e8aebd34febc107dc43781e9a19
|
|
SIZE (minisat-2.2.1.tar.gz) = 49892
|