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

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