Welcome to ftp.vim.org, Hosted by ftp.nluug.nl Current directory: /ftp/pub/os/Linux/distr/parrot/pool/main/z/z3/

 Name                                        Last modified      Size  
 Parent Directory                                                 -   
 libz3-4_4.8.12-3.1_amd64.deb                01-Feb-2023 17:28  6.9M  
 libz3-4_4.8.12-3.1_arm64.deb                01-Feb-2023 17:58  6.0M  
 libz3-4_4.8.12-3.1_armhf.deb                01-Feb-2023 17:58  5.8M  
 libz3-4_4.8.12-3.1_i386.deb                 01-Feb-2023 17:22  7.5M  
 libz3-dev_4.8.12-3.1_amd64.deb              01-Feb-2023 17:28   88K  
 libz3-dev_4.8.12-3.1_arm64.deb              01-Feb-2023 17:58   88K  
 libz3-dev_4.8.12-3.1_armhf.deb              01-Feb-2023 17:58   88K  
 libz3-dev_4.8.12-3.1_i386.deb               01-Feb-2023 17:22   88K  
 libz3-java_4.8.12-3.1_amd64.deb             01-Feb-2023 17:28  159K  
 libz3-java_4.8.12-3.1_arm64.deb             01-Feb-2023 17:58  159K  
 libz3-java_4.8.12-3.1_armhf.deb             01-Feb-2023 17:58  159K  
 libz3-java_4.8.12-3.1_i386.deb              01-Feb-2023 17:22  159K  
 libz3-jni_4.8.12-3.1_amd64.deb              01-Feb-2023 17:28   32K  
 libz3-jni_4.8.12-3.1_arm64.deb              01-Feb-2023 17:58   30K  
 libz3-jni_4.8.12-3.1_armhf.deb              01-Feb-2023 17:58   29K  
 libz3-jni_4.8.12-3.1_i386.deb               01-Feb-2023 17:22   39K  
 python3-z3_4.8.12-3.1_amd64.deb             01-Feb-2023 17:28   76K  
 python3-z3_4.8.12-3.1_arm64.deb             01-Feb-2023 17:58   76K  
 python3-z3_4.8.12-3.1_armhf.deb             01-Feb-2023 17:58   76K  
 python3-z3_4.8.12-3.1_i386.deb              01-Feb-2023 17:22   76K  
 z3_4.8.12-3.1.debian.tar.xz                 01-Feb-2023 16:12   10K  
 z3_4.8.12-3.1.dsc                           01-Feb-2023 16:12  2.6K  
 z3_4.8.12-3.1_amd64.deb                     01-Feb-2023 17:28  6.9M  
 z3_4.8.12-3.1_arm64.deb                     01-Feb-2023 17:58  6.0M  
 z3_4.8.12-3.1_armhf.deb                     01-Feb-2023 17:58  5.8M  
 z3_4.8.12-3.1_i386.deb                      01-Feb-2023 17:22  7.5M  
 z3_4.8.12.orig.tar.gz                       11-Sep-2021 18:38  4.6M  

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