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