Name                            Last modified      Size  Description
 Parent Directory                                     -   
 z3_4.8.10-1.dsc                 2021-01-29 18:20  2.6K  
 z3_4.8.12-3.1.dsc               2023-02-01 16:12  2.6K  
 z3_4.13.3-1.dsc                 2024-11-05 08:40  2.6K  
 z3_4.13.3-1.1.dsc               2026-05-04 15:07  2.7K  
 z3_4.8.10-1.debian.tar.xz       2021-01-29 18:20  9.9K  
 z3_4.8.12-3.1.debian.tar.xz     2023-02-01 16:12   10K  
 z3_4.13.3-1.debian.tar.xz       2024-11-05 08:40   10K  
 z3_4.13.3-1.1.debian.tar.xz     2026-05-04 15:07   10K  
 libz3-jni_4.8.12-3.1_armhf.deb  2023-02-05 21:36   28K  
 libz3-jni_4.8.10-1_armhf.deb    2021-02-01 23:08   28K  
 libz3-jni_4.13.3-1_armhf.deb    2024-11-07 20:05   32K  
 libz3-jni_4.13.3-1.1_armhf.deb  2026-05-24 06:08   32K  
 python3-z3_4.8.10-1_armhf.deb   2021-02-01 23:08   76K  
 python3-z3_4.8.12-3.1_armhf.deb 2023-02-05 21:36   76K  
 python3-z3_4.13.3-1_armhf.deb   2024-11-07 20:05   82K  
 python3-z3_4.13.3-1.1_armhf.deb 2026-05-24 06:08   82K  
 libz3-dev_4.8.12-3.1_armhf.deb  2023-02-05 21:36   88K  
 libz3-dev_4.8.10-1_armhf.deb    2021-02-01 23:08   89K  
 libz3-dev_4.13.3-1_armhf.deb    2024-11-07 20:05  104K  
 libz3-dev_4.13.3-1.1_armhf.deb  2026-05-24 06:08  104K  
 libz3-java_4.8.10-1_armhf.deb   2021-02-01 23:08  156K  
 libz3-java_4.8.12-3.1_armhf.deb 2023-02-05 21:36  159K  
 libz3-java_4.13.3-1_armhf.deb   2024-11-07 20:05  178K  
 libz3-java_4.13.3-1.1_armhf.deb 2026-05-24 06:08  178K  
 z3_4.8.10.orig.tar.gz           2021-01-29 18:20  4.5M  
 z3_4.8.12.orig.tar.gz           2021-09-11 18:38  4.6M  
 z3_4.13.3.orig.tar.gz           2024-11-05 08:40  5.3M  
 z3_4.8.10-1_armhf.deb           2021-02-01 23:08  5.4M  
 libz3-4_4.8.10-1_armhf.deb      2021-02-01 23:08  5.4M  
 libz3-4_4.8.12-3.1_armhf.deb    2023-02-05 21:36  5.5M  
 z3_4.8.12-3.1_armhf.deb         2023-02-05 21:36  5.5M  
 z3_4.13.3-1_armhf.deb           2024-11-07 20:05  6.6M  
 libz3-4_4.13.3-1_armhf.deb      2024-11-07 20:05  6.7M  
 z3_4.13.3-1.1_armhf.deb         2026-05-24 06:08  6.7M  
 libz3-4_4.13.3-1.1_armhf.deb    2026-05-24 06:08  6.7M  

This mirror is hosted by Funkfreunde Landshut e.V. We are the first mirror ever present in Hamnet / AMPRNet. In case you are missing anything or have a question drop us an email at click to see address.

Current mirror size: GB. Mirror health