DIST minisat-0.1.4.tar.gz 45576 BLAKE2B be48742e754ebe9376b7e2138bca11fe3a696d836cad8bdc4b962a70508974975bb85365c095061169510f1b09d95d2fa98635af34fb64581e9f2299ce30a195 SHA512 4afa44d640deb1ce80ed02c92d6c905c7d8f1eedc648d067eb97e923671f4eaef6fe81a533b87bfe2ac077fa18a85689230df957350b57534c66ee0833145cc1