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

 Name                               Last modified      Size  
 Parent Directory                                        -   
 libz3-4_4.8.12-3.1+b2_amd64.deb    05-Jan-2024 21:40  7.0M  
 libz3-4_4.8.12-3.1+b2_arm64.deb    05-Jan-2024 21:18  6.2M  
 libz3-4_4.8.12-3.1+b2_armel.deb    05-Jan-2024 21:40  5.8M  
 libz3-4_4.8.12-3.1+b2_armhf.deb    05-Jan-2024 21:29  6.0M  
 libz3-4_4.8.12-3.1+b2_i386.deb     05-Jan-2024 21:46  7.6M  
 libz3-dev_4.8.12-3.1+b2_amd64.deb  05-Jan-2024 21:40   89K  
 libz3-dev_4.8.12-3.1+b2_arm64.deb  05-Jan-2024 21:18   89K  
 libz3-dev_4.8.12-3.1+b2_armel.deb  05-Jan-2024 21:40   89K  
 libz3-dev_4.8.12-3.1+b2_armhf.deb  05-Jan-2024 21:29   89K  
 libz3-dev_4.8.12-3.1+b2_i386.deb   05-Jan-2024 21:46   89K  
 libz3-java_4.8.12-3.1+b2_amd64.deb 05-Jan-2024 21:40  159K  
 libz3-java_4.8.12-3.1+b2_arm64.deb 05-Jan-2024 21:18  159K  
 libz3-java_4.8.12-3.1+b2_armel.deb 05-Jan-2024 21:40  159K  
 libz3-java_4.8.12-3.1+b2_armhf.deb 05-Jan-2024 21:29  159K  
 libz3-java_4.8.12-3.1+b2_i386.deb  05-Jan-2024 21:46  159K  
 libz3-jni_4.8.12-3.1+b2_amd64.deb  05-Jan-2024 21:40   32K  
 libz3-jni_4.8.12-3.1+b2_arm64.deb  05-Jan-2024 21:18   30K  
 libz3-jni_4.8.12-3.1+b2_armel.deb  05-Jan-2024 21:40   28K  
 libz3-jni_4.8.12-3.1+b2_armhf.deb  05-Jan-2024 21:29   30K  
 libz3-jni_4.8.12-3.1+b2_i386.deb   05-Jan-2024 21:46   40K  
 python3-z3_4.8.12-3.1+b2_amd64.deb 05-Jan-2024 21:40   76K  
 python3-z3_4.8.12-3.1+b2_arm64.deb 05-Jan-2024 21:18   77K  
 python3-z3_4.8.12-3.1+b2_armel.deb 05-Jan-2024 21:40   77K  
 python3-z3_4.8.12-3.1+b2_armhf.deb 05-Jan-2024 21:29   77K  
 python3-z3_4.8.12-3.1+b2_i386.deb  05-Jan-2024 21:46   77K  
 z3_4.8.12-3.1+b2_amd64.deb         05-Jan-2024 21:40  7.0M  
 z3_4.8.12-3.1+b2_arm64.deb         05-Jan-2024 21:18  6.2M  
 z3_4.8.12-3.1+b2_armel.deb         05-Jan-2024 21:40  5.8M  
 z3_4.8.12-3.1+b2_armhf.deb         05-Jan-2024 21:29  6.0M  
 z3_4.8.12-3.1+b2_i386.deb          05-Jan-2024 21:46  7.6M  
 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.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!