/ubuntu/pool/universe/c/cryptominisat/

0 directories 37 files
Name Size Modified
Go up — —
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz 5.6 KiB
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 2.6 KiB
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 81 KiB
cryptominisat_5.11.15+dfsg1.orig.tar.xz 464 KiB
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 6.5 KiB
cryptominisat_5.11.21+dfsg1-1build1.dsc 2.4 KiB
cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 94 KiB
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 6.5 KiB
cryptominisat_5.11.21+dfsg1-2.dsc 2.5 KiB
cryptominisat_5.11.21+dfsg1-2_amd64.deb 94 KiB
cryptominisat_5.11.21+dfsg1-3.debian.tar.xz 6.9 KiB
cryptominisat_5.11.21+dfsg1-3.dsc 2.4 KiB
cryptominisat_5.11.21+dfsg1-3_amd64.deb 94 KiB
cryptominisat_5.11.21+dfsg1-3_amd64v3.deb 95 KiB
cryptominisat_5.11.21+dfsg1.orig.tar.xz 470 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.11t64_5.11.15+dfsg1-1.1build1_amd64.deb 437 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1build1_amd64.deb 447 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb 447 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64.deb 446 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-3_amd64v3.deb 454 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 378 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb 17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-1build1_amd64.deb 17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb 17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_amd64.deb 17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-3_amd64v3.deb 17 KiB
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb 13 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 514 KiB
python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 608 KiB
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 578 KiB
python3-cryptominisat_5.11.21+dfsg1-3_amd64.deb 579 KiB
python3-cryptominisat_5.11.21+dfsg1-3_amd64v3.deb 588 KiB
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 19 KiB