Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 cryptominisat_5.8.0+dfsg1-2.debian.tar.xz             2022-02-22 17:24  6.1K  
 cryptominisat_5.8.0+dfsg1-2.dsc                       2022-02-22 17:24  2.4K  
 cryptominisat_5.8.0+dfsg1-2_amd64.deb                 2022-02-22 17:45   91K  
 cryptominisat_5.8.0+dfsg1.orig.tar.xz                 2020-07-13 12:24  441K  
 cryptominisat_5.11.4+dfsg1-2build1.debian.tar.xz      2022-12-25 14:25  5.3K  
 cryptominisat_5.11.4+dfsg1-2build1.dsc                2022-12-25 14:25  2.4K  
 cryptominisat_5.11.4+dfsg1-2build1_amd64.deb          2022-12-25 14:26   78K  
 cryptominisat_5.11.4+dfsg1.orig.tar.xz                2022-11-05 22:16  518K  
 libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb         2022-02-22 17:45  378K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2build1_amd64.deb 2022-12-25 14:26  432K  
 libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb         2022-02-22 17:45   13K  
 libcryptominisat5-dev_5.11.4+dfsg1-2build1_amd64.deb  2022-12-25 14:26   17K  
 python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb         2022-02-22 17:45   19K  
 python3-cryptominisat_5.11.4+dfsg1-2build1_amd64.deb  2022-12-25 14:26  518K