Name                                                   Last modified      Size  
 Parent Directory                                                            -   
 cryptominisat_5.8.0+dfsg1-1.dsc                        2020-07-11 16:16  2.4K  
 cryptominisat_5.11.4+dfsg1-2.dsc                       2022-11-03 20:09  2.4K  
 cryptominisat_5.11.21+dfsg1-3.dsc                      2025-08-13 08:03  2.4K  
 cryptominisat_5.11.21+dfsg1-2.dsc                      2025-05-25 00:55  2.5K  
 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz             2022-11-03 20:09  5.2K  
 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz              2020-07-11 16:16  6.0K  
 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz            2025-05-25 00:55  6.5K  
 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz            2025-08-13 08:03  6.9K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb       2020-12-12 15:13   14K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb      2023-01-03 07:27   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b3_amd64.deb     2026-06-27 20:48   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb        2025-05-25 01:21   18K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb       2020-12-12 15:13   19K  
 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb              2023-01-03 07:27   75K  
 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb               2020-12-12 15:13   86K  
 cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb             2026-06-27 20:48   88K  
 cryptominisat_5.11.21+dfsg1-2_amd64.deb                2025-05-25 01:21   89K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb       2020-12-12 15:13  406K  
 cryptominisat_5.8.0+dfsg1.orig.tar.xz                  2020-07-11 16:16  441K  
 cryptominisat_5.11.21+dfsg1.orig.tar.xz                2024-05-03 08:30  470K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb     2023-01-03 07:27  490K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb    2025-05-25 01:21  509K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b3_amd64.deb 2026-06-27 20:48  510K  
 cryptominisat_5.11.4+dfsg1.orig.tar.xz                 2022-10-28 23:20  518K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb      2023-01-03 07:27  520K  
 python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb        2025-05-25 01:21  583K  
 python3-cryptominisat_5.11.21+dfsg1-3+b3_amd64.deb     2026-06-27 20:48  585K