Folder Path

/ubuntu/pool/universe/c/cryptominisat/

0 directories 27 files
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.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-3.debian.tar.xz
6.6 KiB
cryptominisat_5.11.4+dfsg1-3.dsc
2.4 KiB
cryptominisat_5.11.4+dfsg1-3_amd64.deb
79 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.11_5.11.4+dfsg1-3_amd64.deb
435 KiB
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1build1_amd64.deb
437 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.4+dfsg1-2build1_amd64.deb
17 KiB
libcryptominisat5-dev_5.11.4+dfsg1-3_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.4+dfsg1-2build1_amd64.deb
518 KiB
python3-cryptominisat_5.11.4+dfsg1-3_amd64.deb
522 KiB
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb
19 KiB