Studenten Net Twente Mirror service

Index of /pub/os/linux/ubuntu/pool/universe/c/cryptominisat/

Filename Modification time Size
cryptominisat_5.8.0+dfsg1-2.debian.tar.xz 6264 B
cryptominisat_5.8.0+dfsg1-2.dsc 2408 B
cryptominisat_5.8.0+dfsg1-2_amd64.deb 91 KiB
cryptominisat_5.8.0+dfsg1.orig.tar.xz 441 KiB
cryptominisat_5.11.15+dfsg1-1.1build1.debian.tar.xz 5720 B
cryptominisat_5.11.15+dfsg1-1.1build1.dsc 2621 B
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-1.debian.tar.xz 6620 B
cryptominisat_5.11.21+dfsg1-1.dsc 2498 B
cryptominisat_5.11.21+dfsg1-1_amd64.deb 91 KiB
cryptominisat_5.11.21+dfsg1-1build1.debian.tar.xz 6704 B
cryptominisat_5.11.21+dfsg1-1build1.dsc 2497 B
cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 94 KiB
cryptominisat_5.11.21+dfsg1-2.debian.tar.xz 6696 B
cryptominisat_5.11.21+dfsg1-2.dsc 2519 B
cryptominisat_5.11.21+dfsg1-2_amd64.deb 94 KiB
cryptominisat_5.11.21+dfsg1.orig.tar.xz 470 KiB
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb 378 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb 437 KiB
libcryptominisat5-5.11t64_5.11.21+dfsg1-1_amd64.deb 435 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-dev_5.8.0+dfsg1-2_amd64.deb 13 KiB
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_amd64.deb 17 KiB
libcryptominisat5-dev_5.11.21+dfsg1-1_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
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb 19 KiB
python3-cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb 514 KiB
python3-cryptominisat_5.11.21+dfsg1-1_amd64.deb 512 KiB
python3-cryptominisat_5.11.21+dfsg1-1build1_amd64.deb 608 KiB
python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb 578 KiB