Welcome to ftp.nluug.nl Current directory: /os/Linux/distr/deepin/beige/pool/main/z/z3/

Current bandwidth utilization 1756.58 Mbit/s

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 libz3-4-dbgsym_4.8.12-deepin2_amd64.deb     28-Apr-2024 18:10  134M  
 libz3-4-dbgsym_4.8.12-deepin2_arm64.deb     28-Apr-2024 18:10  131M  
 libz3-4-dbgsym_4.8.12-deepin2_i386.deb      28-Apr-2024 18:10  130M  
 libz3-4-dbgsym_4.8.12-deepin2_loong64.deb   28-Apr-2024 18:10  114M  
 libz3-4-dbgsym_4.8.12-deepin2_riscv64.deb   28-Apr-2024 18:10  114M  
 libz3-4_4.8.12-deepin2_amd64.deb            28-Apr-2024 18:10  7.0M  
 libz3-4_4.8.12-deepin2_arm64.deb            28-Apr-2024 18:10  6.2M  
 libz3-4_4.8.12-deepin2_i386.deb             28-Apr-2024 18:10  7.7M  
 libz3-4_4.8.12-deepin2_loong64.deb          28-Apr-2024 18:10  6.1M  
 libz3-4_4.8.12-deepin2_riscv64.deb          28-Apr-2024 18:10  7.1M  
 libz3-dev_4.8.12-deepin2_amd64.deb          28-Apr-2024 18:10   88K  
 libz3-dev_4.8.12-deepin2_arm64.deb          28-Apr-2024 18:10   88K  
 libz3-dev_4.8.12-deepin2_i386.deb           28-Apr-2024 18:10   88K  
 libz3-dev_4.8.12-deepin2_loong64.deb        28-Apr-2024 18:10   88K  
 libz3-dev_4.8.12-deepin2_riscv64.deb        28-Apr-2024 18:10   88K  
 libz3-java_4.8.12-deepin2_amd64.deb         28-Apr-2024 18:10  156K  
 libz3-java_4.8.12-deepin2_arm64.deb         28-Apr-2024 18:10  156K  
 libz3-java_4.8.12-deepin2_i386.deb          28-Apr-2024 18:10  156K  
 libz3-java_4.8.12-deepin2_riscv64.deb       28-Apr-2024 18:10  159K  
 libz3-jni-dbgsym_4.8.12-deepin2_amd64.deb   28-Apr-2024 18:10  176K  
 libz3-jni-dbgsym_4.8.12-deepin2_arm64.deb   28-Apr-2024 18:10  174K  
 libz3-jni-dbgsym_4.8.12-deepin2_i386.deb    28-Apr-2024 18:10  137K  
 libz3-jni-dbgsym_4.8.12-deepin2_riscv64.deb 28-Apr-2024 18:10  160K  
 libz3-jni_4.8.12-deepin2_amd64.deb          28-Apr-2024 18:10   32K  
 libz3-jni_4.8.12-deepin2_arm64.deb          28-Apr-2024 18:10   30K  
 libz3-jni_4.8.12-deepin2_i386.deb           28-Apr-2024 18:10   39K  
 libz3-jni_4.8.12-deepin2_riscv64.deb        28-Apr-2024 18:10   32K  
 python3-z3_4.8.12-deepin2_amd64.deb         28-Apr-2024 18:10   76K  
 python3-z3_4.8.12-deepin2_arm64.deb         28-Apr-2024 18:10   76K  
 python3-z3_4.8.12-deepin2_i386.deb          28-Apr-2024 18:10   76K  
 python3-z3_4.8.12-deepin2_loong64.deb       28-Apr-2024 18:10   76K  
 python3-z3_4.8.12-deepin2_riscv64.deb       28-Apr-2024 18:10   76K  
 z3-dbgsym_4.8.12-deepin2_amd64.deb          28-Apr-2024 18:10  135M  
 z3-dbgsym_4.8.12-deepin2_arm64.deb          28-Apr-2024 18:10  133M  
 z3-dbgsym_4.8.12-deepin2_i386.deb           28-Apr-2024 18:10  132M  
 z3-dbgsym_4.8.12-deepin2_loong64.deb        28-Apr-2024 18:10  116M  
 z3-dbgsym_4.8.12-deepin2_riscv64.deb        28-Apr-2024 18:10  116M  
 z3_4.8.12-deepin2.debian.tar.xz             28-Apr-2024 20:26   11K  
 z3_4.8.12-deepin2.dsc                       28-Apr-2024 20:26  1.7K  
 z3_4.8.12-deepin2_amd64.deb                 28-Apr-2024 18:10  7.0M  
 z3_4.8.12-deepin2_arm64.deb                 28-Apr-2024 18:10  6.2M  
 z3_4.8.12-deepin2_i386.deb                  28-Apr-2024 18:10  7.7M  
 z3_4.8.12-deepin2_loong64.deb               28-Apr-2024 18:10  6.1M  
 z3_4.8.12-deepin2_riscv64.deb               28-Apr-2024 18:10  7.1M  
 z3_4.8.12.orig.tar.gz                       28-Apr-2024 20:26  4.6M  

NLUUG - Open Systems. Open Standards
Become a member and get discounts on conferences and more, see the NLUUG website!