/pool/universe/c/cryptominisat/

0 directories 14 files
Name Size Modified
Go up — —
cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz 5.3 KiB
cryptominisat_5.11.4+dfsg1-2build1.dsc 2.4 KiB
cryptominisat_5.11.4+dfsg1-2build1_amd64.deb 78 KiB
cryptominisat_5.11.4+dfsg1.orig.tar.xz 518 KiB
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 6.1 KiB
cryptominisat_5.8.0+dfsg1-2.dsc 2.4 KiB
cryptominisat_5.8.0+dfsg1-2_amd64.deb 91 KiB
cryptominisat_5.8.0+dfsg1.orig.tar.xz 441 KiB
libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd64.deb 432 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 378 KiB
libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd64.deb 17 KiB
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 13 KiB
python3-cryptominisat_5.11.4+dfsg1-2build1_amd64.deb 518 KiB
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 19 KiB