Index of /ubuntu/packages/pool/universe/c/cryptominisat/


../
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb    01-Apr-2024 03:47     81K
cryptominisat_5.11.21+dfsg1-1_amd64.deb            03-May-2024 12:05     91K
cryptominisat_5.11.4+dfsg1-2build1_amd64.deb       25-Dec-2022 20:26     78K
cryptominisat_5.11.4+dfsg1-3_amd64.deb             15-Jul-2023 05:39     79K
cryptominisat_5.6.4+dfsg.1-1ubuntu1_amd64.deb      13-Nov-2018 17:23     78K
cryptominisat_5.8.0+dfsg1-1_amd64.deb              13-Jul-2020 18:09     94K
cryptominisat_5.8.0+dfsg1-1build2_amd64.deb        12-Dec-2020 13:06     86K
cryptominisat_5.8.0+dfsg1-2_amd64.deb              22-Feb-2022 23:45     91K
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd..> 25-Dec-2022 20:26    432K
libcryptominisat5-5.11_5.11.4+dfsg1-3_amd64.deb    15-Jul-2023 05:39    435K
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 01-Apr-2024 03:47    437K
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64..> 03-May-2024 12:05    435K
libcryptominisat5-5.6_5.6.4+dfsg.1-1ubuntu1_amd..> 13-Nov-2018 17:23    357K
libcryptominisat5-5.8_5.8.0+dfsg1-1_amd64.deb      13-Jul-2020 18:09    419K
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06    406K
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45    378K
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 03:47     17K
libcryptominisat5-dev_5.11.21+dfsg1-1_amd64.deb    03-May-2024 12:05     17K
libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd6..> 25-Dec-2022 20:26     17K
libcryptominisat5-dev_5.11.4+dfsg1-3_amd64.deb     15-Jul-2023 05:39     17K
libcryptominisat5-dev_5.6.4+dfsg.1-1ubuntu1_amd..> 13-Nov-2018 17:23     11K
libcryptominisat5-dev_5.8.0+dfsg1-1_amd64.deb      13-Jul-2020 18:09     13K
libcryptominisat5-dev_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45     13K
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 03:47    514K
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb    03-May-2024 12:05    512K
python3-cryptominisat_5.11.4+dfsg1-2build1_amd6..> 25-Dec-2022 20:26    518K
python3-cryptominisat_5.11.4+dfsg1-3_amd64.deb     15-Jul-2023 05:39    522K
python3-cryptominisat_5.6.4+dfsg.1-1ubuntu1_amd..> 13-Nov-2018 17:23     16K
python3-cryptominisat_5.8.0+dfsg1-1_amd64.deb      13-Jul-2020 18:09     18K
python3-cryptominisat_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06     18K
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45     19K