Index of /ubuntu-snapshots/2022-01-01-0655/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               87672
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-dev_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06               12920
python3-cryptominisat_5.8.0+dfsg1-1build2_amd64..> 12-Dec-2020 13:06               18280