c374fd92b4
From Antti Harri, ok jasper@
11 lines
530 B
Plaintext
11 lines
530 B
Plaintext
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
|