Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai
NameLast modifiedSize
folder-parentParent Directory
filecryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz2024-03-31 18:365 KB
filecryptominisat_5.11.15+dfsg1-1.1build1.dsc2024-03-31 18:362 KB
filecryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb2024-04-01 03:4783 KB
filecryptominisat_5.11.15+dfsg1.orig.tar.xz2023-12-14 17:37474 KB
filecryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz2025-01-03 14:356 KB
filecryptominisat_5.11.21+dfsg1-1build1.dsc2025-01-03 14:362 KB
filecryptominisat_5.11.21+dfsg1-1build1_amd64.deb2025-01-03 14:3795 KB
filecryptominisat_5.11.21+dfsg1-2.debian.tar.xz2025-05-25 05:496 KB
filecryptominisat_5.11.21+dfsg1-2.dsc2025-05-25 05:492 KB
filecryptominisat_5.11.21+dfsg1-2_amd64.deb2025-05-25 05:4996 KB
filecryptominisat_5.11.21+dfsg1-3.debian.tar.xz2025-10-28 00:027 KB
filecryptominisat_5.11.21+dfsg1-3.dsc2025-10-28 00:022 KB
filecryptominisat_5.11.21+dfsg1-3_amd64.deb2025-10-28 00:1796 KB
filecryptominisat_5.11.21+dfsg1-3_amd64v3.deb2025-10-28 00:2997 KB
filecryptominisat_5.11.21+dfsg1.orig.tar.xz2024-05-03 11:29481 KB
filecryptominisat_5.8.0+dfsg1-2.debian.tar.xz2022-02-22 23:246 KB
filecryptominisat_5.8.0+dfsg1-2.dsc2022-02-22 23:242 KB
filecryptominisat_5.8.0+dfsg1-2_amd64.deb2022-02-22 23:4592 KB
filecryptominisat_5.8.0+dfsg1.orig.tar.xz2020-07-13 17:24451 KB
filelibcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb2024-04-01 03:47447 KB
filelibcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_amd64.deb2025-01-03 14:37457 KB
filelibcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb2025-05-25 05:49457 KB
filelibcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64.deb2025-10-28 00:17456 KB
filelibcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64v3.deb2025-10-28 00:29465 KB
filelibcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb2022-02-22 23:45386 KB
filelibcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb2024-04-01 03:4717 KB
filelibcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb2025-01-03 14:3717 KB
filelibcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb2025-05-25 05:4917 KB
filelibcryptominisat5-dev_5.11.21+dfsg1-3_amd64.deb2025-10-28 00:1717 KB
filelibcryptominisat5-dev_5.11.21+dfsg1-3_amd64v3.deb2025-10-28 00:2917 KB
filelibcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb2022-02-22 23:4512 KB
filepython3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb2024-04-01 03:47525 KB
filepython3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb2025-01-03 14:37623 KB
filepython3-cryptominisat_5.11.21+dfsg1-2_amd64.deb2025-05-25 05:49591 KB
filepython3-cryptominisat_5.11.21+dfsg1-3_amd64.deb2025-10-28 00:17593 KB
filepython3-cryptominisat_5.11.21+dfsg1-3_amd64v3.deb2025-10-28 00:29602 KB
filepython3-cryptominisat_5.8.0+dfsg1-2_amd64.deb2022-02-22 23:4519 KB