Welcome to deb.felsqualle.com

This server mirrors the following archives:

debian:    Debian main site, containing the package repository for bullseye, bookworm, trixie, forky (testing), and sid (unstable) (amd64, i386, source)

 Name                                                   Last modified      Size  
 Parent Directory                                                            -   
 python3-cryptominisat_5.11.21+dfsg1-2_i386.deb         2025-05-24 23:21  640K  
 python3-cryptominisat_5.11.21+dfsg1-3+b1_i386.deb      2026-01-16 16:18  634K  
 python3-cryptominisat_5.11.21+dfsg1-3+b1_amd64.deb     2026-01-16 14:57  584K  
 python3-cryptominisat_5.11.21+dfsg1-2_amd64.deb        2025-05-24 23:21  583K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_i386.deb       2023-01-03 07:45  576K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_i386.deb     2025-05-24 23:21  536K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_i386.deb  2026-01-16 16:18  532K  
 python3-cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb      2023-01-03 06:27  520K  
 cryptominisat_5.11.4+dfsg1.orig.tar.xz                 2022-10-28 21:20  518K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_i386.deb      2023-01-03 07:45  516K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-2_amd64.deb    2025-05-24 23:21  509K  
 libcryptominisat5-5.11t64_5.11.21+dfsg1-3+b1_amd64.deb 2026-01-16 14:57  509K  
 libcryptominisat5-5.11_5.11.4+dfsg1-2+b1_amd64.deb     2023-01-03 06:27  490K  
 cryptominisat_5.11.21+dfsg1.orig.tar.xz                2024-05-03 06:30  470K  
 cryptominisat_5.8.0+dfsg1.orig.tar.xz                  2020-07-11 14:16  441K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_i386.deb        2020-12-12 14:39  432K  
 libcryptominisat5-5.8_5.8.0+dfsg1-1+b3_amd64.deb       2020-12-12 14:13  406K  
 cryptominisat_5.11.21+dfsg1-3+b1_i386.deb              2026-01-16 16:18   96K  
 cryptominisat_5.11.21+dfsg1-2_i386.deb                 2025-05-24 23:21   95K  
 cryptominisat_5.8.0+dfsg1-1+b3_i386.deb                2020-12-12 14:39   91K  
 cryptominisat_5.11.21+dfsg1-2_amd64.deb                2025-05-24 23:21   89K  
 cryptominisat_5.11.21+dfsg1-3+b1_amd64.deb             2026-01-16 14:57   89K  
 cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb               2020-12-12 14:13   86K  
 cryptominisat_5.11.4+dfsg1-2+b1_i386.deb               2023-01-03 07:45   79K  
 cryptominisat_5.11.4+dfsg1-2+b1_amd64.deb              2023-01-03 06:27   75K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_i386.deb        2020-12-12 14:39   19K  
 python3-cryptominisat_5.8.0+dfsg1-1+b3_amd64.deb       2020-12-12 14:13   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b1_amd64.deb     2026-01-16 14:57   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-3+b1_i386.deb      2026-01-16 16:18   19K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_i386.deb         2025-05-24 23:21   18K  
 libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb        2025-05-24 23:21   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_amd64.deb      2023-01-03 06:27   18K  
 libcryptominisat5-dev_5.11.4+dfsg1-2+b1_i386.deb       2023-01-03 07:45   18K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_amd64.deb       2020-12-12 14:13   14K  
 libcryptominisat5-dev_5.8.0+dfsg1-1+b3_i386.deb        2020-12-12 14:39   14K  
 cryptominisat_5.11.21+dfsg1-3.debian.tar.xz            2025-08-13 06:03  6.9K  
 cryptominisat_5.11.21+dfsg1-2.debian.tar.xz            2025-05-24 22:55  6.5K  
 cryptominisat_5.8.0+dfsg1-1.debian.tar.xz              2020-07-11 14:16  6.0K  
 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz             2022-11-03 19:09  5.2K  
 cryptominisat_5.11.21+dfsg1-2.dsc                      2025-05-24 22:55  2.5K  
 cryptominisat_5.11.21+dfsg1-3.dsc                      2025-08-13 06:03  2.4K  
 cryptominisat_5.11.4+dfsg1-2.dsc                       2022-11-03 19:09  2.4K  
 cryptominisat_5.8.0+dfsg1-1.dsc                        2020-07-11 14:16  2.4K