SHA256 (minisat-2.2.1.tar.gz) = d39de26ad3c56a0fbc30a92c23004a5fb2802e8aebd34febc107dc43781e9a19
SIZE (minisat-2.2.1.tar.gz) = 49892