Filename | Size | Checksum (SHA256) |
---|---|---|
minisat2_2.2.1-5.dsc | 1.9 kB | fe24f45d00dda1c04089c60711d64d155ed3e6d0172a65aff6df5f39e8f7299a |
minisat2_2.2.1.orig.tar.gz | 44.2 kB | e54afa3c192c1753bc8075c0c7e126d5c495d9066e3f90a2588091149ac9ca40 |
minisat2_2.2.1-5.debian.tar.xz | 9.3 kB | 569d2e327a231e16cec180db6016345ca626d803746936dcf4bb82fc738ad9a4 |