MD5 (MiniSat.pdf) = bOfUvcXzJmaf2KOQIhoUHw== MD5 (minisat-2.2.0.tar.gz) = maLqq+UozTZhAOS8AyfSLg== RMD160 (MiniSat.pdf) = O2Eb8XskGVJTA1J/k+8Guzu52Ts= RMD160 (minisat-2.2.0.tar.gz) = Fp7JEWvvqQZ9uQdtJjCffpq0CN0= SHA1 (MiniSat.pdf) = jBekiyqTeA1WvCo9pd31ufzjVyo= SHA1 (minisat-2.2.0.tar.gz) = 38JYmL9A4AzwQlKkIXbgwGAPvJA= SHA256 (MiniSat.pdf) = Uxl9vXg8kkomJ9deMFcGKXmISUJlvV5eyHOEDl15esQ= SHA256 (minisat-2.2.0.tar.gz) = kpV9hRzcO63f4HtfyA7VoCN8SJ0MUq5y9ihEs7RteAg= SIZE (MiniSat.pdf) = 327416 SIZE (minisat-2.2.0.tar.gz) = 43879