Index of /ubuntu-ports/pool/universe/z/z3

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] libz3-4_4.13.3-1_arm64.deb                  2024-11-05 13:18  6.1M  
[   ] libz3-4_4.13.3-1_armhf.deb                  2024-11-05 13:19  7.7M  
[   ] libz3-4_4.13.3-1_ppc64el.deb                2024-11-05 13:19  6.8M  
[   ] libz3-4_4.13.3-1_riscv64.deb                2024-11-05 18:02  9.1M  
[   ] libz3-4_4.13.3-1_s390x.deb                  2024-11-05 13:19  7.1M  
[   ] libz3-4_4.4.1-0.3build4_arm64.deb           2017-10-27 09:01  4.5M  
[   ] libz3-4_4.4.1-0.3build4_armhf.deb           2017-10-27 09:02  4.1M  
[   ] libz3-4_4.4.1-0.3build4_ppc64el.deb         2017-10-30 10:55  5.0M  
[   ] libz3-4_4.4.1-0.3build4_s390x.deb           2017-10-30 10:55  4.3M  
[   ] libz3-4_4.8.12-1_arm64.deb                  2021-09-15 14:41  5.1M  
[   ] libz3-4_4.8.12-1_armhf.deb                  2021-09-15 13:59  6.5M  
[   ] libz3-4_4.8.12-1_ppc64el.deb                2021-09-15 13:59  5.8M  
[   ] libz3-4_4.8.12-1_riscv64.deb                2021-09-15 16:26  7.2M  
[   ] libz3-4_4.8.12-1_s390x.deb                  2021-09-15 13:33  5.1M  
[   ] libz3-4_4.8.12-3.1build1_arm64.deb          2024-04-22 14:45  5.2M  
[   ] libz3-4_4.8.12-3.1build1_armhf.deb          2024-04-22 14:45  6.8M  
[   ] libz3-4_4.8.12-3.1build1_ppc64el.deb        2024-04-22 14:45  5.9M  
[   ] libz3-4_4.8.12-3.1build1_riscv64.deb        2024-04-22 16:45  7.8M  
[   ] libz3-4_4.8.12-3.1build1_s390x.deb          2024-04-22 14:45  6.2M  
[   ] libz3-4_4.8.7-4build1_arm64.deb             2020-03-23 14:08  5.6M  
[   ] libz3-4_4.8.7-4build1_armhf.deb             2020-03-23 13:48  5.5M  
[   ] libz3-4_4.8.7-4build1_ppc64el.deb           2020-03-23 13:48  6.4M  
[   ] libz3-4_4.8.7-4build1_riscv64.deb           2020-04-03 21:58  6.2M  
[   ] libz3-4_4.8.7-4build1_s390x.deb             2020-03-23 13:48  5.6M  
[   ] libz3-cil_4.4.0-5_armhf.deb                 2015-12-08 13:45   39K  
[   ] libz3-cil_4.4.0-5_powerpc.deb               2015-12-08 13:45   39K  
[   ] libz3-cil_4.4.1-0.3build4_arm64.deb         2017-10-27 09:01   40K  
[   ] libz3-cil_4.4.1-0.3build4_armhf.deb         2017-10-27 09:02   40K  
[   ] libz3-cil_4.4.1-0.3build4_ppc64el.deb       2017-10-30 10:55   40K  
[   ] libz3-cil_4.4.1-0.3build4_s390x.deb         2017-10-30 10:55   40K  
[   ] libz3-dev_4.13.3-1_arm64.deb                2024-11-05 13:18   78K  
[   ] libz3-dev_4.13.3-1_armhf.deb                2024-11-05 13:19   78K  
[   ] libz3-dev_4.13.3-1_ppc64el.deb              2024-11-05 13:19   78K  
[   ] libz3-dev_4.13.3-1_riscv64.deb              2024-11-05 18:02   78K  
[   ] libz3-dev_4.13.3-1_s390x.deb                2024-11-05 13:19   78K  
[   ] libz3-dev_4.4.0-5_armhf.deb                 2015-12-08 13:45  4.2M  
[   ] libz3-dev_4.4.0-5_powerpc.deb               2015-12-08 13:45  4.4M  
[   ] libz3-dev_4.4.1-0.3build4_arm64.deb         2017-10-27 09:01   63K  
[   ] libz3-dev_4.4.1-0.3build4_armhf.deb         2017-10-27 09:02   63K  
[   ] libz3-dev_4.4.1-0.3build4_ppc64el.deb       2017-10-30 10:55   63K  
[   ] libz3-dev_4.4.1-0.3build4_s390x.deb         2017-10-30 10:55   63K  
[   ] libz3-dev_4.8.12-1_arm64.deb                2021-09-15 14:41   70K  
[   ] libz3-dev_4.8.12-1_armhf.deb                2021-09-15 13:59   70K  
[   ] libz3-dev_4.8.12-1_ppc64el.deb              2021-09-15 13:59   70K  
[   ] libz3-dev_4.8.12-1_riscv64.deb              2021-09-15 16:26   70K  
[   ] libz3-dev_4.8.12-1_s390x.deb                2021-09-15 13:33   70K  
[   ] libz3-dev_4.8.12-3.1build1_arm64.deb        2024-04-22 14:45   71K  
[   ] libz3-dev_4.8.12-3.1build1_armhf.deb        2024-04-22 14:45   71K  
[   ] libz3-dev_4.8.12-3.1build1_ppc64el.deb      2024-04-22 14:45   71K  
[   ] libz3-dev_4.8.12-3.1build1_riscv64.deb      2024-04-22 16:45   71K  
[   ] libz3-dev_4.8.12-3.1build1_s390x.deb        2024-04-22 14:45   71K  
[   ] libz3-dev_4.8.7-4build1_arm64.deb           2020-03-23 14:08   66K  
[   ] libz3-dev_4.8.7-4build1_armhf.deb           2020-03-23 13:48   66K  
[   ] libz3-dev_4.8.7-4build1_ppc64el.deb         2020-03-23 13:48   66K  
[   ] libz3-dev_4.8.7-4build1_riscv64.deb         2020-04-03 21:58   66K  
[   ] libz3-dev_4.8.7-4build1_s390x.deb           2020-03-23 13:48   66K  
[   ] libz3-java_4.13.3-1_arm64.deb               2024-11-05 13:18  177K  
[   ] libz3-java_4.13.3-1_armhf.deb               2024-11-05 13:19  177K  
[   ] libz3-java_4.13.3-1_ppc64el.deb             2024-11-05 13:19  177K  
[   ] libz3-java_4.13.3-1_riscv64.deb             2024-11-05 18:02  177K  
[   ] libz3-java_4.13.3-1_s390x.deb               2024-11-05 13:19  177K  
[   ] libz3-java_4.4.0-5_all.deb                  2015-12-08 13:44  134K  
[   ] libz3-java_4.4.1-0.3build4_arm64.deb        2017-10-27 09:01  140K  
[   ] libz3-java_4.4.1-0.3build4_armhf.deb        2017-10-27 09:02  140K  
[   ] libz3-java_4.4.1-0.3build4_ppc64el.deb      2017-10-30 10:55  140K  
[   ] libz3-java_4.4.1-0.3build4_s390x.deb        2017-10-30 10:55  140K  
[   ] libz3-java_4.8.12-1_arm64.deb               2021-09-15 14:41  156K  
[   ] libz3-java_4.8.12-1_armhf.deb               2021-09-15 13:59  156K  
[   ] libz3-java_4.8.12-1_ppc64el.deb             2021-09-15 13:59  156K  
[   ] libz3-java_4.8.12-1_riscv64.deb             2021-09-15 16:26  156K  
[   ] libz3-java_4.8.12-1_s390x.deb               2021-09-15 13:33  156K  
[   ] libz3-java_4.8.12-3.1build1_arm64.deb       2024-04-22 14:45  159K  
[   ] libz3-java_4.8.12-3.1build1_armhf.deb       2024-04-22 14:45  159K  
[   ] libz3-java_4.8.12-3.1build1_ppc64el.deb     2024-04-22 14:45  159K  
[   ] libz3-java_4.8.12-3.1build1_riscv64.deb     2024-04-22 16:45  159K  
[   ] libz3-java_4.8.12-3.1build1_s390x.deb       2024-04-22 14:45  159K  
[   ] libz3-java_4.8.7-4build1_arm64.deb          2020-03-23 14:08  150K  
[   ] libz3-java_4.8.7-4build1_armhf.deb          2020-03-23 13:48  150K  
[   ] libz3-java_4.8.7-4build1_ppc64el.deb        2020-03-23 13:48  150K  
[   ] libz3-java_4.8.7-4build1_riscv64.deb        2020-04-03 21:58  150K  
[   ] libz3-java_4.8.7-4build1_s390x.deb          2020-03-23 13:48  150K  
[   ] libz3-jni_4.13.3-1_arm64.deb                2024-11-05 13:18   39K  
[   ] libz3-jni_4.13.3-1_armhf.deb                2024-11-05 13:19   38K  
[   ] libz3-jni_4.13.3-1_ppc64el.deb              2024-11-05 13:19   45K  
[   ] libz3-jni_4.13.3-1_riscv64.deb              2024-11-05 18:02   40K  
[   ] libz3-jni_4.13.3-1_s390x.deb                2024-11-05 13:19   42K  
[   ] libz3-jni_4.4.0-5_armhf.deb                 2015-12-08 13:45   28K  
[   ] libz3-jni_4.4.0-5_powerpc.deb               2015-12-08 13:45   34K  
[   ] libz3-jni_4.4.1-0.3build4_arm64.deb         2017-10-27 09:01   29K  
[   ] libz3-jni_4.4.1-0.3build4_armhf.deb         2017-10-27 09:02   28K  
[   ] libz3-jni_4.4.1-0.3build4_ppc64el.deb       2017-10-30 10:55   34K  
[   ] libz3-jni_4.4.1-0.3build4_s390x.deb         2017-10-30 10:55   32K  
[   ] libz3-jni_4.8.12-1_arm64.deb                2021-09-15 14:41   38K  
[   ] libz3-jni_4.8.12-1_armhf.deb                2021-09-15 13:59   35K  
[   ] libz3-jni_4.8.12-1_ppc64el.deb              2021-09-15 13:59   43K  
[   ] libz3-jni_4.8.12-1_riscv64.deb              2021-09-15 16:26   38K  
[   ] libz3-jni_4.8.12-1_s390x.deb                2021-09-15 13:33   41K  
[   ] libz3-jni_4.8.12-3.1build1_arm64.deb        2024-04-22 14:45   35K  
[   ] libz3-jni_4.8.12-3.1build1_armhf.deb        2024-04-22 14:45   33K  
[   ] libz3-jni_4.8.12-3.1build1_ppc64el.deb      2024-04-22 14:45   40K  
[   ] libz3-jni_4.8.12-3.1build1_riscv64.deb      2024-04-22 16:45   36K  
[   ] libz3-jni_4.8.12-3.1build1_s390x.deb        2024-04-22 14:45   39K  
[   ] libz3-jni_4.8.7-4build1_arm64.deb           2020-03-23 14:08   30K  
[   ] libz3-jni_4.8.7-4build1_armhf.deb           2020-03-23 13:48   29K  
[   ] libz3-jni_4.8.7-4build1_ppc64el.deb         2020-03-23 13:48   35K  
[   ] libz3-jni_4.8.7-4build1_riscv64.deb         2020-04-03 21:58   32K  
[   ] libz3-jni_4.8.7-4build1_s390x.deb           2020-03-23 13:48   32K  
[   ] libz3-ocaml-dev_4.4.0-5_armhf.deb           2015-12-08 13:45  446K  
[   ] libz3-ocaml-dev_4.4.0-5_powerpc.deb         2015-12-08 13:45  414K  
[   ] libz3-ocaml-dev_4.4.1-0.3build4_arm64.deb   2017-10-27 09:01  488K  
[   ] libz3-ocaml-dev_4.4.1-0.3build4_armhf.deb   2017-10-27 09:02  489K  
[   ] libz3-ocaml-dev_4.4.1-0.3build4_ppc64el.deb 2017-10-30 10:55  494K  
[   ] libz3-ocaml-dev_4.4.1-0.3build4_s390x.deb   2017-10-30 10:55  464K  
[   ] python-z3_4.4.0-5_armhf.deb                 2015-12-08 13:45   65K  
[   ] python-z3_4.4.0-5_powerpc.deb               2015-12-08 13:45   64K  
[   ] python-z3_4.4.1-0.3build4_arm64.deb         2017-10-27 09:01   65K  
[   ] python-z3_4.4.1-0.3build4_armhf.deb         2017-10-27 09:02   65K  
[   ] python-z3_4.4.1-0.3build4_ppc64el.deb       2017-10-30 10:55   65K  
[   ] python-z3_4.4.1-0.3build4_s390x.deb         2017-10-30 10:55   65K  
[   ] python3-z3_4.13.3-1_arm64.deb               2024-11-05 13:18   83K  
[   ] python3-z3_4.13.3-1_armhf.deb               2024-11-05 13:19   83K  
[   ] python3-z3_4.13.3-1_ppc64el.deb             2024-11-05 13:19   83K  
[   ] python3-z3_4.13.3-1_riscv64.deb             2024-11-05 18:02   83K  
[   ] python3-z3_4.13.3-1_s390x.deb               2024-11-05 13:19   83K  
[   ] python3-z3_4.8.12-1_arm64.deb               2021-09-15 14:41   78K  
[   ] python3-z3_4.8.12-1_armhf.deb               2021-09-15 13:59   78K  
[   ] python3-z3_4.8.12-1_ppc64el.deb             2021-09-15 13:59   78K  
[   ] python3-z3_4.8.12-1_riscv64.deb             2021-09-15 16:26   78K  
[   ] python3-z3_4.8.12-1_s390x.deb               2021-09-15 13:33   78K  
[   ] python3-z3_4.8.12-3.1build1_arm64.deb       2024-04-22 14:45   78K  
[   ] python3-z3_4.8.12-3.1build1_armhf.deb       2024-04-22 14:45   78K  
[   ] python3-z3_4.8.12-3.1build1_ppc64el.deb     2024-04-22 14:45   78K  
[   ] python3-z3_4.8.12-3.1build1_riscv64.deb     2024-04-22 16:45   78K  
[   ] python3-z3_4.8.12-3.1build1_s390x.deb       2024-04-22 14:45   78K  
[   ] python3-z3_4.8.7-4build1_arm64.deb          2020-03-23 14:08   75K  
[   ] python3-z3_4.8.7-4build1_armhf.deb          2020-03-23 13:48   75K  
[   ] python3-z3_4.8.7-4build1_ppc64el.deb        2020-03-23 13:48   75K  
[   ] python3-z3_4.8.7-4build1_riscv64.deb        2020-04-03 21:58   75K  
[   ] python3-z3_4.8.7-4build1_s390x.deb          2020-03-23 13:48   75K  
[   ] z3_4.13.3-1.debian.tar.xz                   2024-11-05 13:18   10K  
[   ] z3_4.13.3-1.dsc                             2024-11-05 13:18  2.6K  
[   ] z3_4.13.3-1_arm64.deb                       2024-11-05 13:18  6.2M  
[   ] z3_4.13.3-1_armhf.deb                       2024-11-05 13:19  7.8M  
[   ] z3_4.13.3-1_ppc64el.deb                     2024-11-05 13:19  6.9M  
[   ] z3_4.13.3-1_riscv64.deb                     2024-11-05 18:02  9.1M  
[   ] z3_4.13.3-1_s390x.deb                       2024-11-05 13:19  7.2M  
[   ] z3_4.13.3.orig.tar.gz                       2024-11-05 13:18  5.3M  
[   ] z3_4.4.0-5.debian.tar.xz                    2015-12-08 07:10   11K  
[   ] z3_4.4.0-5.dsc                              2015-12-08 07:10  2.1K  
[   ] z3_4.4.0-5_armhf.deb                        2015-12-08 13:45  4.2M  
[   ] z3_4.4.0-5_powerpc.deb                      2015-12-08 13:45  4.3M  
[   ] z3_4.4.0.orig.tar.gz                        2015-06-19 01:23  3.3M  
[   ] z3_4.4.1-0.3build4.debian.tar.xz            2017-10-27 06:44   14K  
[   ] z3_4.4.1-0.3build4.dsc                      2017-10-27 06:44  2.5K  
[   ] z3_4.4.1-0.3build4_arm64.deb                2017-10-27 09:01  4.5M  
[   ] z3_4.4.1-0.3build4_armhf.deb                2017-10-27 09:02  4.2M  
[   ] z3_4.4.1-0.3build4_ppc64el.deb              2017-10-30 10:55  5.0M  
[   ] z3_4.4.1-0.3build4_s390x.deb                2017-10-30 10:55  4.3M  
[   ] z3_4.4.1.orig.tar.gz                        2016-07-19 01:45  3.2M  
[   ] z3_4.8.12-1.debian.tar.xz                   2021-09-15 13:19  9.7K  
[   ] z3_4.8.12-1.dsc                             2021-09-15 13:19  2.6K  
[   ] z3_4.8.12-1_arm64.deb                       2021-09-15 14:41  5.2M  
[   ] z3_4.8.12-1_armhf.deb                       2021-09-15 13:59  6.5M  
[   ] z3_4.8.12-1_ppc64el.deb                     2021-09-15 13:59  5.9M  
[   ] z3_4.8.12-1_riscv64.deb                     2021-09-15 16:26  7.2M  
[   ] z3_4.8.12-1_s390x.deb                       2021-09-15 13:33  5.2M  
[   ] z3_4.8.12-3.1build1.debian.tar.xz           2024-04-22 13:47   10K  
[   ] z3_4.8.12-3.1build1.dsc                     2024-04-22 13:47  2.7K  
[   ] z3_4.8.12-3.1build1_arm64.deb               2024-04-22 14:45  5.3M  
[   ] z3_4.8.12-3.1build1_armhf.deb               2024-04-22 14:45  6.8M  
[   ] z3_4.8.12-3.1build1_ppc64el.deb             2024-04-22 14:45  6.0M  
[   ] z3_4.8.12-3.1build1_riscv64.deb             2024-04-22 16:45  7.9M  
[   ] z3_4.8.12-3.1build1_s390x.deb               2024-04-22 14:45  6.3M  
[   ] z3_4.8.12.orig.tar.gz                       2021-09-15 13:19  4.6M  
[   ] z3_4.8.7-4build1.debian.tar.xz              2020-03-23 08:18  9.8K  
[   ] z3_4.8.7-4build1.dsc                        2020-03-23 08:18  2.5K  
[   ] z3_4.8.7-4build1_arm64.deb                  2020-03-23 14:08  5.6M  
[   ] z3_4.8.7-4build1_armhf.deb                  2020-03-23 13:48  5.5M  
[   ] z3_4.8.7-4build1_ppc64el.deb                2020-03-23 13:48  6.4M  
[   ] z3_4.8.7-4build1_riscv64.deb                2020-04-03 21:58  6.2M  
[   ] z3_4.8.7-4build1_s390x.deb                  2020-03-23 13:48  5.6M  
[   ] z3_4.8.7.orig.tar.gz                        2019-12-09 06:13  4.1M
Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80