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


../
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz         06-Nov-2022 03:16                5360
cryptominisat_5.11.4+dfsg1-2.dsc                   06-Nov-2022 03:16                2459
cryptominisat_5.11.4+dfsg1-2_amd64.deb             05-Dec-2022 16:25               79636
cryptominisat_5.11.4+dfsg1.orig.tar.xz             06-Nov-2022 03:16              530220
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               92960
cryptominisat_5.8.0+dfsg1.orig.tar.xz              13-Jul-2020 17:24              451304
libcryptominisat5-5.11_5.11.4+dfsg1-2_amd64.deb    05-Dec-2022 16:25              441794
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45              386708
libcryptominisat5-dev_5.11.4+dfsg1-2_amd64.deb     05-Dec-2022 16:25               17294
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45               12978
python3-cryptominisat_5.11.4+dfsg1-2_amd64.deb     05-Dec-2022 16:25              530228
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45               19592