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