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                                      -   
 z3_4.13.3-1+b1_i386.deb          2026-01-17 19:29  8.8M  
 python3-z3_4.13.3-1+b1_i386.deb  2026-01-17 19:29   82K  
 libz3-jni_4.13.3-1+b1_i386.deb   2026-01-17 19:29   44K  
 libz3-java_4.13.3-1+b1_i386.deb  2026-01-17 19:29  178K  
 libz3-dev_4.13.3-1+b1_i386.deb   2026-01-17 19:29  104K  
 libz3-4_4.13.3-1+b1_i386.deb     2026-01-17 19:29  8.8M  
 z3_4.13.3-1+b1_amd64.deb         2026-01-17 12:14  8.3M  
 python3-z3_4.13.3-1+b1_amd64.deb 2026-01-17 12:14   82K  
 libz3-jni_4.13.3-1+b1_amd64.deb  2026-01-17 12:14   37K  
 libz3-java_4.13.3-1+b1_amd64.deb 2026-01-17 12:14  178K  
 libz3-dev_4.13.3-1+b1_amd64.deb  2026-01-17 12:14  104K  
 libz3-4_4.13.3-1+b1_amd64.deb    2026-01-17 12:14  8.2M  
 z3_4.13.3-1_i386.deb             2024-11-05 08:16  8.8M  
 python3-z3_4.13.3-1_i386.deb     2024-11-05 08:16   82K  
 libz3-jni_4.13.3-1_i386.deb      2024-11-05 08:16   45K  
 libz3-java_4.13.3-1_i386.deb     2024-11-05 08:16  178K  
 libz3-dev_4.13.3-1_i386.deb      2024-11-05 08:16  104K  
 libz3-4_4.13.3-1_i386.deb        2024-11-05 08:16  8.8M  
 z3_4.13.3-1_amd64.deb            2024-11-05 08:11  8.2M  
 python3-z3_4.13.3-1_amd64.deb    2024-11-05 08:11   82K  
 libz3-jni_4.13.3-1_amd64.deb     2024-11-05 08:11   37K  
 libz3-java_4.13.3-1_amd64.deb    2024-11-05 08:11  178K  
 libz3-dev_4.13.3-1_amd64.deb     2024-11-05 08:11  104K  
 libz3-4_4.13.3-1_amd64.deb       2024-11-05 08:11  8.2M  
 z3_4.13.3-1.debian.tar.xz        2024-11-05 07:40   10K  
 z3_4.13.3.orig.tar.gz            2024-11-05 07:40  5.3M  
 z3_4.13.3-1.dsc                  2024-11-05 07:40  2.6K  
 z3_4.8.12-3.1_amd64.deb          2023-02-01 16:28  6.9M  
 python3-z3_4.8.12-3.1_amd64.deb  2023-02-01 16:28   76K  
 libz3-jni_4.8.12-3.1_amd64.deb   2023-02-01 16:28   32K  
 libz3-java_4.8.12-3.1_amd64.deb  2023-02-01 16:28  159K  
 libz3-dev_4.8.12-3.1_amd64.deb   2023-02-01 16:28   88K  
 libz3-4_4.8.12-3.1_amd64.deb     2023-02-01 16:28  6.9M  
 z3_4.8.12-3.1_i386.deb           2023-02-01 16:22  7.5M  
 python3-z3_4.8.12-3.1_i386.deb   2023-02-01 16:22   76K  
 libz3-jni_4.8.12-3.1_i386.deb    2023-02-01 16:22   39K  
 libz3-java_4.8.12-3.1_i386.deb   2023-02-01 16:22  159K  
 libz3-dev_4.8.12-3.1_i386.deb    2023-02-01 16:22   88K  
 libz3-4_4.8.12-3.1_i386.deb      2023-02-01 16:22  7.5M  
 z3_4.8.12-3.1.dsc                2023-02-01 15:12  2.6K  
 z3_4.8.12-3.1.debian.tar.xz      2023-02-01 15:12   10K  
 z3_4.8.12.orig.tar.gz            2021-09-11 16:38  4.6M  
 z3_4.8.10-1_i386.deb             2021-01-29 18:12  7.4M  
 python3-z3_4.8.10-1_i386.deb     2021-01-29 18:12   76K  
 libz3-jni_4.8.10-1_i386.deb      2021-01-29 18:12   39K  
 libz3-java_4.8.10-1_i386.deb     2021-01-29 18:12  156K  
 libz3-dev_4.8.10-1_i386.deb      2021-01-29 18:12   89K  
 libz3-4_4.8.10-1_i386.deb        2021-01-29 18:12  7.4M  
 z3_4.8.10-1_amd64.deb            2021-01-29 18:12  6.6M  
 python3-z3_4.8.10-1_amd64.deb    2021-01-29 18:12   76K  
 libz3-jni_4.8.10-1_amd64.deb     2021-01-29 18:12   32K  
 libz3-java_4.8.10-1_amd64.deb    2021-01-29 18:12  156K  
 libz3-dev_4.8.10-1_amd64.deb     2021-01-29 18:12   89K  
 libz3-4_4.8.10-1_amd64.deb       2021-01-29 18:12  6.6M  
 z3_4.8.10.orig.tar.gz            2021-01-29 17:20  4.5M  
 z3_4.8.10-1.debian.tar.xz        2021-01-29 17:20  9.9K  
 z3_4.8.10-1.dsc                  2021-01-29 17:20  2.6K