Index of /univention-repository/pool/main/c/cryptominisat/

../
cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb          12-Mar-2023 07:25               77096
cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb           17-Feb-2023 13:57               88028
libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb 12-Mar-2023 07:25              502056
libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb   17-Feb-2023 13:57              416028
libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb  12-Mar-2023 07:25               18324
libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb   17-Feb-2023 13:57               13976
python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb  12-Mar-2023 07:25              532504
python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb   17-Feb-2023 13:57               19152