Index of /ubuntu/pool/universe/c/cryptominisat

Icon  Name                                                  Last modified      Size  Description
[DIR] Parent Directory - [   ] cryptominisat_5.6.4+dfsg.1-1ubuntu1.debian.tar.xz 13-Nov-2018 18:15 20K [TXT] cryptominisat_5.6.4+dfsg.1-1ubuntu1.dsc 13-Nov-2018 18:15 2.1K [   ] cryptominisat_5.6.4+dfsg.1-1ubuntu1_amd64.deb 13-Nov-2018 18:23 78K [   ] cryptominisat_5.6.4+dfsg.1.orig.tar.gz 10-Nov-2018 00:35 481K [   ] libcryptominisat5-5.6_5.6.4+dfsg.1-1ubuntu1_amd64.deb 13-Nov-2018 18:23 357K [   ] libcryptominisat5-dev_5.6.4+dfsg.1-1ubuntu1_amd64.deb 13-Nov-2018 18:23 11K [   ] python3-cryptominisat_5.6.4+dfsg.1-1ubuntu1_amd64.deb 13-Nov-2018 18:23 16K