Name                                                  Last modified      Size  Description
 Parent Directory                                                           -   
 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb              2020-12-12 08:13   86K  
 cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb              2020-12-12 06:00   81K  
 cryptominisat_5.8.0+dfsg1-1+b3_i386.deb               2020-12-12 08:39   91K  
 cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb           2020-12-12 17:25   81K  
 cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb            2020-12-12 10:28   90K  
 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz             2020-07-11 09:16  6.0K  
 cryptominisat_5.8.0+dfsg1-1.dsc                       2020-07-11 09:16  2.4K  
 cryptominisat_5.8.0+dfsg1.orig.tar.xz                 2020-07-11 09:16  441K  
 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb             2023-01-03 00:27   75K  
 cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb             2023-01-03 00:58   69K  
 cryptominisat_5.11.4+dfsg1-2+b1_i386.deb              2023-01-03 01:45   79K  
 cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb          2023-01-03 00:12   70K  
 cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb           2023-01-04 17:55   77K  
 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz            2022-11-03 14:09  5.2K  
 cryptominisat_5.11.4+dfsg1-2.dsc                      2022-11-03 14:09  2.4K  
 cryptominisat_5.11.4+dfsg1.orig.tar.xz                2022-10-28 16:20  518K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb      2020-12-12 08:13  406K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_arm64.deb      2020-12-12 06:00  370K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb       2020-12-12 08:39  432K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_mips64el.deb   2020-12-12 17:25  389K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_ppc64el.deb    2020-12-12 10:28  445K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb    2023-01-03 00:27  490K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_arm64.deb    2023-01-03 00:58  440K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb     2023-01-03 01:45  516K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_mips64el.deb 2023-01-03 00:12  463K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_ppc64el.deb  2023-01-04 17:55  530K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb      2020-12-12 08:13   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_arm64.deb      2020-12-12 06:00   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb       2020-12-12 08:39   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_mips64el.deb   2020-12-12 17:25   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_ppc64el.deb    2020-12-12 10:28   14K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb     2023-01-03 00:27   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_arm64.deb     2023-01-03 00:58   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb      2023-01-03 01:45   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_mips64el.deb  2023-01-03 00:12   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_ppc64el.deb   2023-01-04 17:55   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb      2020-12-12 08:13   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_arm64.deb      2020-12-12 06:00   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb       2020-12-12 08:39   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_mips64el.deb   2020-12-12 17:25   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_ppc64el.deb    2020-12-12 10:28   20K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb     2023-01-03 00:27  520K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_arm64.deb     2023-01-03 00:58  479K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb      2023-01-03 01:45  576K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_mips64el.deb  2023-01-03 00:12  494K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_ppc64el.deb   2023-01-04 17:55  556K