ftp.ntua.gr:/ubuntu/pool/universe/z/z3/?C=M&O=D 
Icon  Name                                             Last modified      Size  Description
[DIR] Parent Directory                                                      -   
[   ] z3_4.8.10-1ubuntu1_i386.deb                      30-Jan-2021 12:13  7.4M  
[   ] python3-z3_4.8.10-1ubuntu1_i386.deb              30-Jan-2021 12:13   76K  
[   ] libz3-jni_4.8.10-1ubuntu1_i386.deb               30-Jan-2021 12:13   39K  
[   ] libz3-java_4.8.10-1ubuntu1_i386.deb              30-Jan-2021 12:13  156K  
[   ] libz3-4_4.8.10-1ubuntu1_i386.deb                 30-Jan-2021 12:13  7.4M  
[   ] z3_4.8.10-1ubuntu1_amd64.deb                     30-Jan-2021 12:13  6.6M  
[   ] python3-z3_4.8.10-1ubuntu1_amd64.deb             30-Jan-2021 12:13   76K  
[   ] libz3-jni_4.8.10-1ubuntu1_amd64.deb              30-Jan-2021 12:13   32K  
[   ] libz3-java_4.8.10-1ubuntu1_amd64.deb             30-Jan-2021 12:13  156K  
[   ] libz3-dev_4.8.10-1ubuntu1_i386.deb               30-Jan-2021 12:13   68K  
[   ] libz3-dev_4.8.10-1ubuntu1_amd64.deb              30-Jan-2021 12:13   68K  
[   ] libz3-4_4.8.10-1ubuntu1_amd64.deb                30-Jan-2021 12:13  6.6M  
[   ] z3_4.8.10.orig.tar.gz                            30-Jan-2021 11:43  4.5M  
[   ] z3_4.8.10-1ubuntu1.dsc                           30-Jan-2021 11:43  2.6K  
[   ] z3_4.8.10-1ubuntu1.debian.tar.xz                 30-Jan-2021 11:43   10K  
[   ] libz3-jni_4.8.8-1_amd64.deb                      07-Jun-2020 03:03   32K  
[   ] libz3-java_4.8.8-1_amd64.deb                     07-Jun-2020 03:03  151K  
[   ] libz3-4_4.8.8-1_amd64.deb                        07-Jun-2020 03:03  7.0M  
[   ] z3_4.8.8-1_amd64.deb                             07-Jun-2020 03:03  7.0M  
[   ] python3-z3_4.8.8-1_amd64.deb                     07-Jun-2020 03:03   75K  
[   ] libz3-dev_4.8.8-1_amd64.deb                      07-Jun-2020 03:03   66K  
[   ] libz3-jni_4.8.8-1_i386.deb                       07-Jun-2020 02:33   39K  
[   ] libz3-dev_4.8.8-1_i386.deb                       07-Jun-2020 02:33   66K  
[   ] libz3-4_4.8.8-1_i386.deb                         07-Jun-2020 02:33  7.6M  
[   ] z3_4.8.8-1_i386.deb                              07-Jun-2020 02:33  7.6M  
[   ] python3-z3_4.8.8-1_i386.deb                      07-Jun-2020 02:33   75K  
[   ] libz3-java_4.8.8-1_i386.deb                      07-Jun-2020 02:33  151K  
[   ] z3_4.8.8.orig.tar.gz                             07-Jun-2020 02:13  4.3M  
[   ] z3_4.8.8-1.dsc                                   07-Jun-2020 02:13  2.6K  
[   ] z3_4.8.8-1.debian.tar.xz                         07-Jun-2020 02:13  9.9K  
[   ] z3_4.8.7-4build1_amd64.deb                       23-Mar-2020 11:03  6.5M  
[   ] python3-z3_4.8.7-4build1_amd64.deb               23-Mar-2020 11:03   75K  
[   ] libz3-jni_4.8.7-4build1_amd64.deb                23-Mar-2020 11:03   32K  
[   ] libz3-java_4.8.7-4build1_amd64.deb               23-Mar-2020 11:03  150K  
[   ] libz3-4_4.8.7-4build1_amd64.deb                  23-Mar-2020 11:03  6.5M  
[   ] libz3-dev_4.8.7-4build1_amd64.deb                23-Mar-2020 11:03   66K  
[   ] z3_4.8.7-4build1_i386.deb                        23-Mar-2020 10:39  7.1M  
[   ] python3-z3_4.8.7-4build1_i386.deb                23-Mar-2020 10:39   75K  
[   ] libz3-jni_4.8.7-4build1_i386.deb                 23-Mar-2020 10:39   39K  
[   ] libz3-dev_4.8.7-4build1_i386.deb                 23-Mar-2020 10:39   66K  
[   ] libz3-4_4.8.7-4build1_i386.deb                   23-Mar-2020 10:39  7.1M  
[   ] libz3-java_4.8.7-4build1_i386.deb                23-Mar-2020 10:39  150K  
[   ] z3_4.8.7-4build1.dsc                             23-Mar-2020 09:18  2.5K  
[   ] z3_4.8.7-4build1.debian.tar.xz                   23-Mar-2020 09:18  9.8K  
[   ] z3_4.8.7.orig.tar.gz                             09-Dec-2019 07:13  4.1M  
[   ] python-z3_4.4.1-0.3build4_i386.deb               27-Oct-2017 07:53   65K  
[   ] libz3-ocaml-dev_4.4.1-0.3build4_i386.deb         27-Oct-2017 07:53  460K  
[   ] libz3-java_4.4.1-0.3build4_i386.deb              27-Oct-2017 07:53  140K  
[   ] libz3-4_4.4.1-0.3build4_i386.deb                 27-Oct-2017 07:53  5.4M  
[   ] z3_4.4.1-0.3build4_i386.deb                      27-Oct-2017 07:53  5.5M  
[   ] libz3-jni_4.4.1-0.3build4_i386.deb               27-Oct-2017 07:53   40K  
[   ] libz3-dev_4.4.1-0.3build4_i386.deb               27-Oct-2017 07:53   63K  
[   ] libz3-cil_4.4.1-0.3build4_i386.deb               27-Oct-2017 07:53   40K  
[   ] python-z3_4.4.1-0.3build4_amd64.deb              27-Oct-2017 07:44   65K  
[   ] libz3-jni_4.4.1-0.3build4_amd64.deb              27-Oct-2017 07:44   31K  
[   ] libz3-cil_4.4.1-0.3build4_amd64.deb              27-Oct-2017 07:44   40K  
[   ] libz3-4_4.4.1-0.3build4_amd64.deb                27-Oct-2017 07:44  4.9M  
[   ] z3_4.4.1-0.3build4_amd64.deb                     27-Oct-2017 07:44  5.0M  
[   ] libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb        27-Oct-2017 07:44  479K  
[   ] libz3-java_4.4.1-0.3build4_amd64.deb             27-Oct-2017 07:44  140K  
[   ] libz3-dev_4.4.1-0.3build4_amd64.deb              27-Oct-2017 07:44   63K  
[   ] z3_4.4.1-0.3build4.dsc                           27-Oct-2017 07:44  2.5K  
[   ] z3_4.4.1-0.3build4.debian.tar.xz                 27-Oct-2017 07:44   14K  
[   ] z3_4.4.1.orig.tar.gz                             19-Jul-2016 02:45  3.2M  
[   ] z3_4.4.0-5_i386.deb                              08-Dec-2015 14:45  5.4M  
[   ] libz3-dev_4.4.0-5_i386.deb                       08-Dec-2015 14:45  5.4M  
[   ] python-z3_4.4.0-5_i386.deb                       08-Dec-2015 14:45   65K  
[   ] libz3-cil_4.4.0-5_i386.deb                       08-Dec-2015 14:45   39K  
[   ] libz3-jni_4.4.0-5_i386.deb                       08-Dec-2015 14:45   40K  
[   ] libz3-ocaml-dev_4.4.0-5_i386.deb                 08-Dec-2015 14:45  415K  
[   ] libz3-cil_4.4.0-5_amd64.deb                      08-Dec-2015 14:45   39K  
[   ] z3_4.4.0-5_amd64.deb                             08-Dec-2015 14:45  5.0M  
[   ] python-z3_4.4.0-5_amd64.deb                      08-Dec-2015 14:45   65K  
[   ] libz3-ocaml-dev_4.4.0-5_amd64.deb                08-Dec-2015 14:45  444K  
[   ] libz3-jni_4.4.0-5_amd64.deb                      08-Dec-2015 14:44   30K  
[   ] libz3-dev_4.4.0-5_amd64.deb                      08-Dec-2015 14:44  5.1M  
[   ] libz3-java_4.4.0-5_all.deb                       08-Dec-2015 14:44  134K  
[   ] z3_4.4.0-5.dsc                                   08-Dec-2015 08:10  2.1K  
[   ] z3_4.4.0-5.debian.tar.xz                         08-Dec-2015 08:10   11K  
[   ] z3_4.4.0.orig.tar.gz                             19-Jun-2015 02:23  3.3M
Apache/2.2 Server at ftp.ntua.gr Port 80