Welcome to ftp.nluug.nl Current directory: /ftp/os/illumos/dilos/apt/pool/main/z/z3/

 Name                                                     Last modified      Size  
 Parent Directory                                                              -   
 libz3-4_4.4.1-1~deb10u1+dilos1_solaris-i386.deb          10-Aug-2021 09:55  6.0M  
 libz3-4_4.4.1-1~deb10u1+dilos1_solaris-sparc.deb         10-Aug-2021 10:37  4.6M  
 libz3-dev_4.4.1-1~deb10u1+dilos1_solaris-i386.deb        10-Aug-2021 09:55   78K  
 libz3-dev_4.4.1-1~deb10u1+dilos1_solaris-sparc.deb       10-Aug-2021 10:37   78K  
 libz3-ocaml-dev_4.4.1-1~deb10u1+dilos1_solaris-i386.deb  10-Aug-2021 09:55  352K  
 libz3-ocaml-dev_4.4.1-1~deb10u1+dilos1_solaris-sparc.deb 10-Aug-2021 10:37  311K  
 python-z3_4.4.1-1~deb10u1+dilos1_solaris-i386.deb        10-Aug-2021 09:55   65K  
 python-z3_4.4.1-1~deb10u1+dilos1_solaris-sparc.deb       10-Aug-2021 10:37   65K  
 z3_4.4.1-1~deb10u1+dilos1.debian.tar.xz                  10-Aug-2021 09:40   15K  
 z3_4.4.1-1~deb10u1+dilos1.dsc                            10-Aug-2021 09:40  2.2K  
 z3_4.4.1-1~deb10u1+dilos1_solaris-i386.deb               10-Aug-2021 09:55  6.0M  
 z3_4.4.1-1~deb10u1+dilos1_solaris-sparc.deb              10-Aug-2021 10:37  4.6M  
 z3_4.4.1.orig.tar.gz                                     10-Aug-2021 09:40  3.2M  

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