File Name
-
..——
-
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz5.59KB2024-03-31 21:36:44cryptominisat_5.11.15+dfsg1-1.1build1.dsc2.56KB2024-03-31 21:36:44cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb81.11KB2024-04-01 06:47:03cryptominisat_5.11.15+dfsg1.orig.tar.xz463.71KB2023-12-14 19:37:25cryptominisat_5.11.21+dfsg1-1.debian.tar.xz6.46KB2024-05-03 14:29:03cryptominisat_5.11.21+dfsg1-1.dsc2.44KB2024-05-03 14:29:03cryptominisat_5.11.21+dfsg1-1_amd64.deb91.47KB2024-05-03 15:05:14cryptominisat_5.11.21+dfsg1.orig.tar.xz470.20KB2024-05-03 14:29:03cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz5.31KB2022-12-25 22:25:56cryptominisat_5.11.4+dfsg1-2build1.dsc2.40KB2022-12-25 22:25:56cryptominisat_5.11.4+dfsg1-2build1_amd64.deb77.84KB2022-12-25 22:26:20cryptominisat_5.11.4+dfsg1.orig.tar.xz517.79KB2022-11-06 05:16:53cryptominisat_5.8.0+dfsg1-2.debian.tar.xz6.12KB2022-02-23 01:24:36cryptominisat_5.8.0+dfsg1-2.dsc2.35KB2022-02-23 01:24:36cryptominisat_5.8.0+dfsg1-2_amd64.deb90.78KB2022-02-23 01:45:17cryptominisat_5.8.0+dfsg1.orig.tar.xz440.73KB2020-07-13 20:24:37libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd64.deb431.53KB2022-12-25 22:26:20libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb436.84KB2024-04-01 06:47:03libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb434.76KB2024-05-03 15:05:14libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb377.64KB2022-02-23 01:45:17libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb17.33KB2024-04-01 06:47:03libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb17.38KB2024-05-03 15:05:14libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd64.deb16.89KB2022-12-25 22:26:20libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb12.67KB2022-02-23 01:45:17python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb513.64KB2024-04-01 06:47:03python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb511.70KB2024-05-03 15:05:14python3-cryptominisat_5.11.4+dfsg1-2build1_amd64.deb517.81KB2022-12-25 22:26:20python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb19.13KB2022-02-23 01:45:17