/ubuntu/pool/universe/c/cryptominisat/

0 directories 21 files 3.9 MiB total
List Grid
Name
Size Modified
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-1.debian.tar.xz
6.5 KiB
cryptominisat_5.11.21+dfsg1-1.dsc
2.4 KiB
cryptominisat_5.11.21+dfsg1-1_amd64.deb
92 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-1_amd64.deb
435 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-1_amd64.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-1_amd64.deb
512 KiB
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb
19 KiB