Index of /pool/main/c/cryptominisat/

../
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb          16-Feb-2023 22:51               77096
cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb          16-Feb-2023 22:39               70876
cryptominisat_5.11.4+dfsg1-2+b1_i386.deb           16-Feb-2023 22:36               81072
cryptominisat_5.11.4+dfsg1-2.debian.tar.xz         16-Feb-2023 22:45                5360
cryptominisat_5.11.4+dfsg1-2.dsc                   16-Feb-2023 22:45                2459
cryptominisat_5.11.4+dfsg1.orig.tar.xz             16-Feb-2023 22:45              530220
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 16-Feb-2023 22:43              502056
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb 16-Feb-2023 22:31              450988
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb  16-Feb-2023 22:25              528160
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb  16-Feb-2023 22:33               18324
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb  16-Feb-2023 22:26               18320
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb   16-Feb-2023 22:29               18316
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb  16-Feb-2023 22:29              532504
python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb  16-Feb-2023 22:41              490280
python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb   16-Feb-2023 22:48              589572