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


../
libz3-4_4.13.3-1_arm64.deb                         05-Nov-2024 12:18      6M
libz3-4_4.13.3-1_armhf.deb                         05-Nov-2024 12:19      8M
libz3-4_4.4.1-0.3build4_arm64.deb                  27-Oct-2017 07:01      4M
libz3-4_4.4.1-0.3build4_armhf.deb                  27-Oct-2017 07:02      4M
libz3-4_4.4.1-0.3build4_ppc64el.deb                30-Oct-2017 09:55      5M
libz3-4_4.4.1-0.3build4_s390x.deb                  30-Oct-2017 09:55      4M
libz3-4_4.8.10-1ubuntu1_ppc64el.deb                30-Jan-2021 10:13      7M
libz3-4_4.8.10-1ubuntu1_riscv64.deb                30-Jan-2021 12:08      6M
libz3-4_4.8.10-1ubuntu1_s390x.deb                  30-Jan-2021 09:58      6M
libz3-4_4.8.12-1_arm64.deb                         15-Sep-2021 12:41      5M
libz3-4_4.8.12-1_armhf.deb                         15-Sep-2021 11:59      6M
libz3-4_4.8.12-1_ppc64el.deb                       15-Sep-2021 11:59      6M
libz3-4_4.8.12-1_riscv64.deb                       15-Sep-2021 14:26      7M
libz3-4_4.8.12-1_s390x.deb                         15-Sep-2021 11:33      5M
libz3-4_4.8.12-3.1build1_arm64.deb                 22-Apr-2024 12:45      5M
libz3-4_4.8.12-3.1build1_armhf.deb                 22-Apr-2024 12:45      7M
libz3-4_4.8.7-4build1_arm64.deb                    23-Mar-2020 13:08      6M
libz3-4_4.8.7-4build1_armhf.deb                    23-Mar-2020 12:48      6M
libz3-4_4.8.7-4build1_ppc64el.deb                  23-Mar-2020 12:48      6M
libz3-4_4.8.7-4build1_riscv64.deb                  03-Apr-2020 19:58      6M
libz3-4_4.8.7-4build1_s390x.deb                    23-Mar-2020 12:48      6M
libz3-cil_4.4.0-5_armhf.deb                        08-Dec-2015 12:45     39K
libz3-cil_4.4.0-5_powerpc.deb                      08-Dec-2015 12:45     39K
libz3-cil_4.4.1-0.3build4_arm64.deb                27-Oct-2017 07:01     40K
libz3-cil_4.4.1-0.3build4_armhf.deb                27-Oct-2017 07:02     40K
libz3-cil_4.4.1-0.3build4_ppc64el.deb              30-Oct-2017 09:55     40K
libz3-cil_4.4.1-0.3build4_s390x.deb                30-Oct-2017 09:55     40K
libz3-dev_4.13.3-1_arm64.deb                       05-Nov-2024 12:18     78K
libz3-dev_4.13.3-1_armhf.deb                       05-Nov-2024 12:19     78K
libz3-dev_4.4.0-5_armhf.deb                        08-Dec-2015 12:45      4M
libz3-dev_4.4.0-5_powerpc.deb                      08-Dec-2015 12:45      4M
libz3-dev_4.4.1-0.3build4_arm64.deb                27-Oct-2017 07:01     63K
libz3-dev_4.4.1-0.3build4_armhf.deb                27-Oct-2017 07:02     63K
libz3-dev_4.4.1-0.3build4_ppc64el.deb              30-Oct-2017 09:55     63K
libz3-dev_4.4.1-0.3build4_s390x.deb                30-Oct-2017 09:55     63K
libz3-dev_4.8.10-1ubuntu1_ppc64el.deb              30-Jan-2021 10:13     68K
libz3-dev_4.8.10-1ubuntu1_riscv64.deb              30-Jan-2021 12:08     68K
libz3-dev_4.8.10-1ubuntu1_s390x.deb                30-Jan-2021 09:58     68K
libz3-dev_4.8.12-1_arm64.deb                       15-Sep-2021 12:41     70K
libz3-dev_4.8.12-1_armhf.deb                       15-Sep-2021 11:59     70K
libz3-dev_4.8.12-1_ppc64el.deb                     15-Sep-2021 11:59     70K
libz3-dev_4.8.12-1_riscv64.deb                     15-Sep-2021 14:26     70K
libz3-dev_4.8.12-1_s390x.deb                       15-Sep-2021 11:33     70K
libz3-dev_4.8.12-3.1build1_arm64.deb               22-Apr-2024 12:45     71K
libz3-dev_4.8.12-3.1build1_armhf.deb               22-Apr-2024 12:45     71K
libz3-dev_4.8.7-4build1_arm64.deb                  23-Mar-2020 13:08     66K
libz3-dev_4.8.7-4build1_armhf.deb                  23-Mar-2020 12:48     66K
libz3-dev_4.8.7-4build1_ppc64el.deb                23-Mar-2020 12:48     66K
libz3-dev_4.8.7-4build1_riscv64.deb                03-Apr-2020 19:58     66K
libz3-dev_4.8.7-4build1_s390x.deb                  23-Mar-2020 12:48     66K
libz3-java_4.13.3-1_arm64.deb                      05-Nov-2024 12:18    177K
libz3-java_4.13.3-1_armhf.deb                      05-Nov-2024 12:19    177K
libz3-java_4.4.0-5_all.deb                         08-Dec-2015 12:44    134K
libz3-java_4.4.1-0.3build4_arm64.deb               27-Oct-2017 07:01    140K
libz3-java_4.4.1-0.3build4_armhf.deb               27-Oct-2017 07:02    140K
libz3-java_4.4.1-0.3build4_ppc64el.deb             30-Oct-2017 09:55    140K
libz3-java_4.4.1-0.3build4_s390x.deb               30-Oct-2017 09:55    140K
libz3-java_4.8.10-1ubuntu1_ppc64el.deb             30-Jan-2021 10:13    156K
libz3-java_4.8.10-1ubuntu1_riscv64.deb             30-Jan-2021 12:08    156K
libz3-java_4.8.10-1ubuntu1_s390x.deb               30-Jan-2021 09:58    156K
libz3-java_4.8.12-1_arm64.deb                      15-Sep-2021 12:41    156K
libz3-java_4.8.12-1_armhf.deb                      15-Sep-2021 11:59    156K
libz3-java_4.8.12-1_ppc64el.deb                    15-Sep-2021 11:59    156K
libz3-java_4.8.12-1_riscv64.deb                    15-Sep-2021 14:26    156K
libz3-java_4.8.12-1_s390x.deb                      15-Sep-2021 11:33    156K
libz3-java_4.8.12-3.1build1_arm64.deb              22-Apr-2024 12:45    159K
libz3-java_4.8.12-3.1build1_armhf.deb              22-Apr-2024 12:45    159K
libz3-java_4.8.7-4build1_arm64.deb                 23-Mar-2020 13:08    150K
libz3-java_4.8.7-4build1_armhf.deb                 23-Mar-2020 12:48    150K
libz3-java_4.8.7-4build1_ppc64el.deb               23-Mar-2020 12:48    150K
libz3-java_4.8.7-4build1_riscv64.deb               03-Apr-2020 19:58    150K
libz3-java_4.8.7-4build1_s390x.deb                 23-Mar-2020 12:48    150K
libz3-jni_4.13.3-1_arm64.deb                       05-Nov-2024 12:18     39K
libz3-jni_4.13.3-1_armhf.deb                       05-Nov-2024 12:19     38K
libz3-jni_4.4.0-5_armhf.deb                        08-Dec-2015 12:45     28K
libz3-jni_4.4.0-5_powerpc.deb                      08-Dec-2015 12:45     34K
libz3-jni_4.4.1-0.3build4_arm64.deb                27-Oct-2017 07:01     29K
libz3-jni_4.4.1-0.3build4_armhf.deb                27-Oct-2017 07:02     28K
libz3-jni_4.4.1-0.3build4_ppc64el.deb              30-Oct-2017 09:55     34K
libz3-jni_4.4.1-0.3build4_s390x.deb                30-Oct-2017 09:55     32K
libz3-jni_4.8.10-1ubuntu1_ppc64el.deb              30-Jan-2021 10:13     35K
libz3-jni_4.8.10-1ubuntu1_riscv64.deb              30-Jan-2021 12:08     31K
libz3-jni_4.8.10-1ubuntu1_s390x.deb                30-Jan-2021 09:58     33K
libz3-jni_4.8.12-1_arm64.deb                       15-Sep-2021 12:41     38K
libz3-jni_4.8.12-1_armhf.deb                       15-Sep-2021 11:59     35K
libz3-jni_4.8.12-1_ppc64el.deb                     15-Sep-2021 11:59     43K
libz3-jni_4.8.12-1_riscv64.deb                     15-Sep-2021 14:26     38K
libz3-jni_4.8.12-1_s390x.deb                       15-Sep-2021 11:33     41K
libz3-jni_4.8.12-3.1build1_arm64.deb               22-Apr-2024 12:45     35K
libz3-jni_4.8.12-3.1build1_armhf.deb               22-Apr-2024 12:45     33K
libz3-jni_4.8.7-4build1_arm64.deb                  23-Mar-2020 13:08     30K
libz3-jni_4.8.7-4build1_armhf.deb                  23-Mar-2020 12:48     29K
libz3-jni_4.8.7-4build1_ppc64el.deb                23-Mar-2020 12:48     35K
libz3-jni_4.8.7-4build1_riscv64.deb                03-Apr-2020 19:58     32K
libz3-jni_4.8.7-4build1_s390x.deb                  23-Mar-2020 12:48     32K
libz3-ocaml-dev_4.4.0-5_armhf.deb                  08-Dec-2015 12:45    446K
libz3-ocaml-dev_4.4.0-5_powerpc.deb                08-Dec-2015 12:45    414K
libz3-ocaml-dev_4.4.1-0.3build4_arm64.deb          27-Oct-2017 07:01    488K
libz3-ocaml-dev_4.4.1-0.3build4_armhf.deb          27-Oct-2017 07:02    489K
libz3-ocaml-dev_4.4.1-0.3build4_ppc64el.deb        30-Oct-2017 09:55    494K
libz3-ocaml-dev_4.4.1-0.3build4_s390x.deb          30-Oct-2017 09:55    464K
python-z3_4.4.0-5_armhf.deb                        08-Dec-2015 12:45     65K
python-z3_4.4.0-5_powerpc.deb                      08-Dec-2015 12:45     64K
python-z3_4.4.1-0.3build4_arm64.deb                27-Oct-2017 07:01     65K
python-z3_4.4.1-0.3build4_armhf.deb                27-Oct-2017 07:02     65K
python-z3_4.4.1-0.3build4_ppc64el.deb              30-Oct-2017 09:55     65K
python-z3_4.4.1-0.3build4_s390x.deb                30-Oct-2017 09:55     65K
python3-z3_4.13.3-1_arm64.deb                      05-Nov-2024 12:18     83K
python3-z3_4.13.3-1_armhf.deb                      05-Nov-2024 12:19     83K
python3-z3_4.8.10-1ubuntu1_ppc64el.deb             30-Jan-2021 10:13     76K
python3-z3_4.8.10-1ubuntu1_riscv64.deb             30-Jan-2021 12:08     76K
python3-z3_4.8.10-1ubuntu1_s390x.deb               30-Jan-2021 09:58     76K
python3-z3_4.8.12-1_arm64.deb                      15-Sep-2021 12:41     78K
python3-z3_4.8.12-1_armhf.deb                      15-Sep-2021 11:59     78K
python3-z3_4.8.12-1_ppc64el.deb                    15-Sep-2021 11:59     78K
python3-z3_4.8.12-1_riscv64.deb                    15-Sep-2021 14:26     78K
python3-z3_4.8.12-1_s390x.deb                      15-Sep-2021 11:33     78K
python3-z3_4.8.12-3.1build1_arm64.deb              22-Apr-2024 12:45     78K
python3-z3_4.8.12-3.1build1_armhf.deb              22-Apr-2024 12:45     78K
python3-z3_4.8.7-4build1_arm64.deb                 23-Mar-2020 13:08     75K
python3-z3_4.8.7-4build1_armhf.deb                 23-Mar-2020 12:48     75K
python3-z3_4.8.7-4build1_ppc64el.deb               23-Mar-2020 12:48     75K
python3-z3_4.8.7-4build1_riscv64.deb               03-Apr-2020 19:58     75K
python3-z3_4.8.7-4build1_s390x.deb                 23-Mar-2020 12:48     75K
z3_4.13.3-1_arm64.deb                              05-Nov-2024 12:18      6M
z3_4.13.3-1_armhf.deb                              05-Nov-2024 12:19      8M
z3_4.4.0-5.debian.tar.xz                           08-Dec-2015 06:10     11K
z3_4.4.0-5.dsc                                     08-Dec-2015 06:10    2122
z3_4.4.0-5_armhf.deb                               08-Dec-2015 12:45      4M
z3_4.4.0-5_powerpc.deb                             08-Dec-2015 12:45      4M
z3_4.4.0.orig.tar.gz                               18-Jun-2015 23:23      3M
z3_4.4.1-0.3build4.debian.tar.xz                   27-Oct-2017 04:44     14K
z3_4.4.1-0.3build4.dsc                             27-Oct-2017 04:44    2544
z3_4.4.1-0.3build4_arm64.deb                       27-Oct-2017 07:01      4M
z3_4.4.1-0.3build4_armhf.deb                       27-Oct-2017 07:02      4M
z3_4.4.1-0.3build4_ppc64el.deb                     30-Oct-2017 09:55      5M
z3_4.4.1-0.3build4_s390x.deb                       30-Oct-2017 09:55      4M
z3_4.4.1.orig.tar.gz                               18-Jul-2016 23:45      3M
z3_4.8.10-1ubuntu1.debian.tar.xz                   30-Jan-2021 09:43     10K
z3_4.8.10-1ubuntu1.dsc                             30-Jan-2021 09:43    2644
z3_4.8.10-1ubuntu1_ppc64el.deb                     30-Jan-2021 10:13      7M
z3_4.8.10-1ubuntu1_riscv64.deb                     30-Jan-2021 12:08      6M
z3_4.8.10-1ubuntu1_s390x.deb                       30-Jan-2021 09:58      6M
z3_4.8.10.orig.tar.gz                              30-Jan-2021 09:43      5M
z3_4.8.12-1.debian.tar.xz                          15-Sep-2021 11:19    9896
z3_4.8.12-1.dsc                                    15-Sep-2021 11:19    2642
z3_4.8.12-1_arm64.deb                              15-Sep-2021 12:41      5M
z3_4.8.12-1_armhf.deb                              15-Sep-2021 11:59      7M
z3_4.8.12-1_ppc64el.deb                            15-Sep-2021 11:59      6M
z3_4.8.12-1_riscv64.deb                            15-Sep-2021 14:26      7M
z3_4.8.12-1_s390x.deb                              15-Sep-2021 11:33      5M
z3_4.8.12-3.1build1_arm64.deb                      22-Apr-2024 12:45      5M
z3_4.8.12-3.1build1_armhf.deb                      22-Apr-2024 12:45      7M
z3_4.8.12.orig.tar.gz                              15-Sep-2021 11:19      5M
z3_4.8.7-4build1.debian.tar.xz                     23-Mar-2020 07:18     10K
z3_4.8.7-4build1.dsc                               23-Mar-2020 07:18    2594
z3_4.8.7-4build1_arm64.deb                         23-Mar-2020 13:08      6M
z3_4.8.7-4build1_armhf.deb                         23-Mar-2020 12:48      6M
z3_4.8.7-4build1_ppc64el.deb                       23-Mar-2020 12:48      6M
z3_4.8.7-4build1_riscv64.deb                       03-Apr-2020 19:58      6M
z3_4.8.7-4build1_s390x.deb                         23-Mar-2020 12:48      6M
z3_4.8.7.orig.tar.gz                               09-Dec-2019 05:13      4M