Index of /nova/pool/extendido/c/cryptominisat/

../
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz          01-May-2022 09:32                6264
cryptominisat_5.8.0+dfsg1-2.dsc                    01-May-2022 09:32                2408
cryptominisat_5.8.0+dfsg1-2_amd64.deb              30-Apr-2022 03:32               92960
cryptominisat_5.8.0+dfsg1.orig.tar.xz              01-May-2022 09:32              451304
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      30-Apr-2022 04:58              386708
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      30-Apr-2022 07:40               12978
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      30-Apr-2022 04:14               19592