Name Last modified Size Description
Parent Directory -
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 2022-12-25 15:25 5.3K
cryptominisat_5.11.4+dfsg1-2build1.dsc 2022-12-25 15:25 2.4K
cryptominisat_5.11.4+dfsg1-2build1_amd64.deb 2022-12-25 15:26 78K
cryptominisat_5.11.4+dfsg1.orig.tar.xz 2022-11-05 23:16 518K
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 2022-02-22 18:24 6.1K
cryptominisat_5.8.0+dfsg1-2.dsc 2022-02-22 18:24 2.4K
cryptominisat_5.8.0+dfsg1-2_amd64.deb 2022-02-22 18:45 91K
cryptominisat_5.8.0+dfsg1.orig.tar.xz 2020-07-13 13:24 441K
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd64.deb 2022-12-25 15:26 432K
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 2022-02-22 18:45 378K
libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd64.deb 2022-12-25 15:26 17K
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 2022-02-22 18:45 13K
python3-cryptominisat_5.11.4+dfsg1-2build1_amd64.deb 2022-12-25 15:26 518K
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 2022-02-22 18:45 19K
This mirror provided by INCX.net