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-1.debian.tar.xz2024-05-03 11:296 KB
filecryptominisat_5.11.21+dfsg1-1.dsc2024-05-03 11:292 KB
filecryptominisat_5.11.21+dfsg1-1_amd64.deb2024-05-03 12:0593 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-1_amd64.deb2024-05-03 12:05445 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-1_amd64.deb2024-05-03 12:0517 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-1_amd64.deb2024-05-03 12:05523 KB
filepython3-cryptominisat_5.8.0+dfsg1-2_amd64.deb2022-02-22 23:4519 KB