| ../ | | - | Directory |
| cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 2023-Jul-19 15:31:41 | 75.2K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 2023-Jul-19 15:31:41 | 79.1K | application/vnd.debian.binary-package |
| cryptominisat_5.11.4+dfsg1-2.debian.tar.xz | 2023-Jul-19 15:31:41 | 5.2K | application/x-xz |
| cryptominisat_5.11.4+dfsg1-2.dsc | 2023-Jul-19 15:31:42 | 2.4K | text/prs.lines.tag |
| cryptominisat_5.11.4+dfsg1.orig.tar.xz | 2023-Jul-19 15:31:42 | 517.8K | application/x-xz |
| cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 2020-Dec-13 05:20:33 | 85.9K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 2020-Dec-13 05:20:33 | 90.9K | application/vnd.debian.binary-package |
| cryptominisat_5.8.0+dfsg1-1.debian.tar.xz | 2020-Jul-16 05:23:11 | 6.0K | application/x-xz |
| cryptominisat_5.8.0+dfsg1-1.dsc | 2020-Jul-16 05:23:11 | 2.3K | text/prs.lines.tag |
| cryptominisat_5.8.0+dfsg1.orig.tar.xz | 2020-Jul-16 05:23:11 | 440.7K | application/x-xz |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb | 2023-Jul-19 15:31:42 | 490.2K | application/vnd.debian.binary-package |
| libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb | 2023-Jul-19 15:31:42 | 515.8K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb | 2020-Dec-13 05:20:33 | 406.2K | application/vnd.debian.binary-package |
| libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb | 2020-Dec-13 05:20:33 | 431.5K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb | 2023-Jul-19 15:31:42 | 17.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb | 2023-Jul-19 15:31:42 | 17.9K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb | 2020-Dec-13 05:20:34 | 13.6K | application/vnd.debian.binary-package |
| libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb | 2020-Dec-13 05:20:34 | 13.6K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb | 2023-Jul-19 15:31:42 | 520.0K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb | 2023-Jul-19 15:31:42 | 575.7K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb | 2020-Dec-13 05:20:34 | 18.7K | application/vnd.debian.binary-package |
| python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb | 2020-Dec-13 05:20:34 | 19.4K | application/vnd.debian.binary-package |