Index of /ubuntu-ports/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.13.3-1_ppc64el.deb                                                                                             05-Nov-2024 12:19      7M
libz3-4_4.13.3-1_riscv64.deb                                                                                             05-Nov-2024 17:02      9M
libz3-4_4.13.3-1_s390x.deb                                                                                               05-Nov-2024 12:19      7M
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.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.12-3.1build1_ppc64el.deb                                                                                     22-Apr-2024 12:45      6M
libz3-4_4.8.12-3.1build1_riscv64.deb                                                                                     22-Apr-2024 14:45      8M
libz3-4_4.8.12-3.1build1_s390x.deb                                                                                       22-Apr-2024 12:45      6M
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.13.3-1_ppc64el.deb                                                                                           05-Nov-2024 12:19     78K
libz3-dev_4.13.3-1_riscv64.deb                                                                                           05-Nov-2024 17:02     78K
libz3-dev_4.13.3-1_s390x.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.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.12-3.1build1_ppc64el.deb                                                                                   22-Apr-2024 12:45     71K
libz3-dev_4.8.12-3.1build1_riscv64.deb                                                                                   22-Apr-2024 14:45     71K
libz3-dev_4.8.12-3.1build1_s390x.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.13.3-1_ppc64el.deb                                                                                          05-Nov-2024 12:19    177K
libz3-java_4.13.3-1_riscv64.deb                                                                                          05-Nov-2024 17:02    177K
libz3-java_4.13.3-1_s390x.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.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.12-3.1build1_ppc64el.deb                                                                                  22-Apr-2024 12:45    159K
libz3-java_4.8.12-3.1build1_riscv64.deb                                                                                  22-Apr-2024 14:45    159K
libz3-java_4.8.12-3.1build1_s390x.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.13.3-1_ppc64el.deb                                                                                           05-Nov-2024 12:19     45K
libz3-jni_4.13.3-1_riscv64.deb                                                                                           05-Nov-2024 17:02     40K
libz3-jni_4.13.3-1_s390x.deb                                                                                             05-Nov-2024 12:19     42K
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.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.12-3.1build1_ppc64el.deb                                                                                   22-Apr-2024 12:45     40K
libz3-jni_4.8.12-3.1build1_riscv64.deb                                                                                   22-Apr-2024 14:45     36K
libz3-jni_4.8.12-3.1build1_s390x.deb                                                                                     22-Apr-2024 12:45     39K
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.13.3-1_ppc64el.deb                                                                                          05-Nov-2024 12:19     83K
python3-z3_4.13.3-1_riscv64.deb                                                                                          05-Nov-2024 17:02     83K
python3-z3_4.13.3-1_s390x.deb                                                                                            05-Nov-2024 12:19     83K
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.12-3.1build1_ppc64el.deb                                                                                  22-Apr-2024 12:45     78K
python3-z3_4.8.12-3.1build1_riscv64.deb                                                                                  22-Apr-2024 14:45     78K
python3-z3_4.8.12-3.1build1_s390x.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.debian.tar.xz                                                                                                05-Nov-2024 12:18     10K
z3_4.13.3-1.dsc                                                                                                          05-Nov-2024 12:18    2704
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.13.3-1_ppc64el.deb                                                                                                  05-Nov-2024 12:19      7M
z3_4.13.3-1_riscv64.deb                                                                                                  05-Nov-2024 17:02      9M
z3_4.13.3-1_s390x.deb                                                                                                    05-Nov-2024 12:19      7M
z3_4.13.3.orig.tar.gz                                                                                                    05-Nov-2024 12:18      5M
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.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.debian.tar.xz                                                                                        22-Apr-2024 11:47     10K
z3_4.8.12-3.1build1.dsc                                                                                                  22-Apr-2024 11:47    2770
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-3.1build1_ppc64el.deb                                                                                          22-Apr-2024 12:45      6M
z3_4.8.12-3.1build1_riscv64.deb                                                                                          22-Apr-2024 14:45      8M
z3_4.8.12-3.1build1_s390x.deb                                                                                            22-Apr-2024 12:45      6M
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