Index of /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               87672
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.8_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06              415976
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45              386708
libcryptominisat5-dev_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06               12920
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45               12978
python3-cryptominisat_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06               18280
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      22-Feb-2022 23:45               19592