- minisat amd64 arm64 arm64
Filename | Size | Checksum (SHA256) |
---|---|---|
minisat2_2.2.1.orig.tar.gz | 44.2 kB | e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 |
minisat2_2.2.1-8.dsc | 1.7 kB | 3fdc8955b094d6835276f476d876783854944fbf27b4885feb8c9d0042b2b359 |
minisat2_2.2.1-8.debian.tar.xz | 9.9 kB | f89f4f9c4ddf57bb7cdf3aa77810b9042e2aa824197ebc5bf8faa5fda5d1745d |