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


../
cryptominisat_5.8.0+dfsg1-1build2.debian.tar.xz                                                                          12-Dec-2020 12:45    6296
cryptominisat_5.8.0+dfsg1-1build2.dsc                                                                                    12-Dec-2020 12:45    2432
cryptominisat_5.8.0+dfsg1-1build2_amd64.deb                                                                              12-Dec-2020 13:06     86K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz                                                                                22-Feb-2022 23:24    6264
cryptominisat_5.8.0+dfsg1-2.dsc                                                                                          22-Feb-2022 23:24    2408
cryptominisat_5.8.0+dfsg1-2_amd64.deb                                                                                    22-Feb-2022 23:45     91K
cryptominisat_5.8.0+dfsg1.orig.tar.xz                                                                                    13-Jul-2020 17:24    441K
libcryptominisat5-5.8_5.8.0+dfsg1-1build2_amd64.deb                                                                      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.8.0+dfsg1-1build2_amd64.deb                                                                      12-Dec-2020 13:06     13K
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb                                                                            22-Feb-2022 23:45     13K
python3-cryptominisat_5.8.0+dfsg1-1build2_amd64.deb                                                                      12-Dec-2020 13:06     18K
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb                                                                            22-Feb-2022 23:45     19K