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


../
libz3-4_4.4.1-0.3build4_arm64.deb                  27-Oct-2017 07:01             4684144
libz3-4_4.4.1-0.3build4_armhf.deb                  27-Oct-2017 07:02             4348632
libz3-4_4.4.1-0.3build4_ppc64el.deb                30-Oct-2017 09:55             5226008
libz3-4_4.4.1-0.3build4_s390x.deb                  30-Oct-2017 09:55             4547824
libz3-4_4.8.12-1_arm64.deb                         15-Sep-2021 12:41             5352310
libz3-4_4.8.12-1_armhf.deb                         15-Sep-2021 11:59             6803762
libz3-4_4.8.12-1_ppc64el.deb                       15-Sep-2021 11:59             6066232
libz3-4_4.8.12-1_riscv64.deb                       15-Sep-2021 14:26             7541184
libz3-4_4.8.12-1_s390x.deb                         15-Sep-2021 11:33             5345558
libz3-4_4.8.12-3.1_arm64.deb                       05-Feb-2023 02:04             5338086
libz3-4_4.8.12-3.1_armhf.deb                       05-Feb-2023 01:24             6820558
libz3-4_4.8.12-3.1_ppc64el.deb                     05-Feb-2023 00:56             5982902
libz3-4_4.8.12-3.1_riscv64.deb                     05-Feb-2023 06:54             7550092
libz3-4_4.8.12-3.1_s390x.deb                       05-Feb-2023 02:49             5366176
libz3-4_4.8.12-3.1build1_arm64.deb                 22-Apr-2024 12:45             5492238
libz3-4_4.8.12-3.1build1_armhf.deb                 22-Apr-2024 12:45             7093394
libz3-4_4.8.12-3.1build1_ppc64el.deb               22-Apr-2024 12:45             6167204
libz3-4_4.8.12-3.1build1_riscv64.deb               22-Apr-2024 14:45             8229442
libz3-4_4.8.12-3.1build1_s390x.deb                 22-Apr-2024 12:45             6507132
libz3-4_4.8.7-4build1_arm64.deb                    23-Mar-2020 13:08             5859784
libz3-4_4.8.7-4build1_armhf.deb                    23-Mar-2020 12:48             5780596
libz3-4_4.8.7-4build1_ppc64el.deb                  23-Mar-2020 12:48             6664712
libz3-4_4.8.7-4build1_riscv64.deb                  03-Apr-2020 19:58             6463160
libz3-4_4.8.7-4build1_s390x.deb                    23-Mar-2020 12:48             5905476
libz3-cil_4.4.0-5_armhf.deb                        08-Dec-2015 12:45               40122
libz3-cil_4.4.0-5_powerpc.deb                      08-Dec-2015 12:45               40116
libz3-cil_4.4.1-0.3build4_arm64.deb                27-Oct-2017 07:01               40672
libz3-cil_4.4.1-0.3build4_armhf.deb                27-Oct-2017 07:02               40688
libz3-cil_4.4.1-0.3build4_ppc64el.deb              30-Oct-2017 09:55               40904
libz3-cil_4.4.1-0.3build4_s390x.deb                30-Oct-2017 09:55               41060
libz3-dev_4.4.0-5_armhf.deb                        08-Dec-2015 12:45             4435472
libz3-dev_4.4.0-5_powerpc.deb                      08-Dec-2015 12:45             4615494
libz3-dev_4.4.1-0.3build4_arm64.deb                27-Oct-2017 07:01               64232
libz3-dev_4.4.1-0.3build4_armhf.deb                27-Oct-2017 07:02               64240
libz3-dev_4.4.1-0.3build4_ppc64el.deb              30-Oct-2017 09:55               64244
libz3-dev_4.4.1-0.3build4_s390x.deb                30-Oct-2017 09:55               64236
libz3-dev_4.8.12-1_arm64.deb                       15-Sep-2021 12:41               72166
libz3-dev_4.8.12-1_armhf.deb                       15-Sep-2021 11:59               72176
libz3-dev_4.8.12-1_ppc64el.deb                     15-Sep-2021 11:59               72170
libz3-dev_4.8.12-1_riscv64.deb                     15-Sep-2021 14:26               72170
libz3-dev_4.8.12-1_s390x.deb                       15-Sep-2021 11:33               72170
libz3-dev_4.8.12-3.1_arm64.deb                     05-Feb-2023 02:04               72198
libz3-dev_4.8.12-3.1_armhf.deb                     05-Feb-2023 01:24               72204
libz3-dev_4.8.12-3.1_ppc64el.deb                   05-Feb-2023 00:56               72208
libz3-dev_4.8.12-3.1_riscv64.deb                   05-Feb-2023 06:54               72194
libz3-dev_4.8.12-3.1_s390x.deb                     05-Feb-2023 02:49               72206
libz3-dev_4.8.12-3.1build1_arm64.deb               22-Apr-2024 12:45               72216
libz3-dev_4.8.12-3.1build1_armhf.deb               22-Apr-2024 12:45               72220
libz3-dev_4.8.12-3.1build1_ppc64el.deb             22-Apr-2024 12:45               72222
libz3-dev_4.8.12-3.1build1_riscv64.deb             22-Apr-2024 14:45               72216
libz3-dev_4.8.12-3.1build1_s390x.deb               22-Apr-2024 12:45               72216
libz3-dev_4.8.7-4build1_arm64.deb                  23-Mar-2020 13:08               67508
libz3-dev_4.8.7-4build1_armhf.deb                  23-Mar-2020 12:48               67512
libz3-dev_4.8.7-4build1_ppc64el.deb                23-Mar-2020 12:48               67516
libz3-dev_4.8.7-4build1_riscv64.deb                03-Apr-2020 19:58               67508
libz3-dev_4.8.7-4build1_s390x.deb                  23-Mar-2020 12:48               67512
libz3-java_4.4.0-5_all.deb                         08-Dec-2015 12:44              137208
libz3-java_4.4.1-0.3build4_arm64.deb               27-Oct-2017 07:01              143552
libz3-java_4.4.1-0.3build4_armhf.deb               27-Oct-2017 07:02              143552
libz3-java_4.4.1-0.3build4_ppc64el.deb             30-Oct-2017 09:55              143552
libz3-java_4.4.1-0.3build4_s390x.deb               30-Oct-2017 09:55              143552
libz3-java_4.8.12-1_arm64.deb                      15-Sep-2021 12:41              159582
libz3-java_4.8.12-1_armhf.deb                      15-Sep-2021 11:59              159580
libz3-java_4.8.12-1_ppc64el.deb                    15-Sep-2021 11:59              159584
libz3-java_4.8.12-1_riscv64.deb                    15-Sep-2021 14:26              159586
libz3-java_4.8.12-1_s390x.deb                      15-Sep-2021 11:33              159582
libz3-java_4.8.12-3.1_arm64.deb                    05-Feb-2023 02:04              162364
libz3-java_4.8.12-3.1_armhf.deb                    05-Feb-2023 01:24              162364
libz3-java_4.8.12-3.1_ppc64el.deb                  05-Feb-2023 00:56              162364
libz3-java_4.8.12-3.1_riscv64.deb                  05-Feb-2023 06:54              162368
libz3-java_4.8.12-3.1_s390x.deb                    05-Feb-2023 02:49              162366
libz3-java_4.8.12-3.1build1_arm64.deb              22-Apr-2024 12:45              162850
libz3-java_4.8.12-3.1build1_armhf.deb              22-Apr-2024 12:45              162850
libz3-java_4.8.12-3.1build1_ppc64el.deb            22-Apr-2024 12:45              162854
libz3-java_4.8.12-3.1build1_riscv64.deb            22-Apr-2024 14:45              162856
libz3-java_4.8.12-3.1build1_s390x.deb              22-Apr-2024 12:45              162850
libz3-java_4.8.7-4build1_arm64.deb                 23-Mar-2020 13:08              153796
libz3-java_4.8.7-4build1_armhf.deb                 23-Mar-2020 12:48              153796
libz3-java_4.8.7-4build1_ppc64el.deb               23-Mar-2020 12:48              153796
libz3-java_4.8.7-4build1_riscv64.deb               03-Apr-2020 19:58              153776
libz3-java_4.8.7-4build1_s390x.deb                 23-Mar-2020 12:48              153796
libz3-jni_4.4.0-5_armhf.deb                        08-Dec-2015 12:45               29178
libz3-jni_4.4.0-5_powerpc.deb                      08-Dec-2015 12:45               34670
libz3-jni_4.4.1-0.3build4_arm64.deb                27-Oct-2017 07:01               29900
libz3-jni_4.4.1-0.3build4_armhf.deb                27-Oct-2017 07:02               28944
libz3-jni_4.4.1-0.3build4_ppc64el.deb              30-Oct-2017 09:55               34548
libz3-jni_4.4.1-0.3build4_s390x.deb                30-Oct-2017 09:55               32624
libz3-jni_4.8.12-1_arm64.deb                       15-Sep-2021 12:41               38848
libz3-jni_4.8.12-1_armhf.deb                       15-Sep-2021 11:59               36084
libz3-jni_4.8.12-1_ppc64el.deb                     15-Sep-2021 11:59               43700
libz3-jni_4.8.12-1_riscv64.deb                     15-Sep-2021 14:26               38478
libz3-jni_4.8.12-1_s390x.deb                       15-Sep-2021 11:33               42114
libz3-jni_4.8.12-3.1_arm64.deb                     05-Feb-2023 02:04               34992
libz3-jni_4.8.12-3.1_armhf.deb                     05-Feb-2023 01:24               33762
libz3-jni_4.8.12-3.1_ppc64el.deb                   05-Feb-2023 00:56               39758
libz3-jni_4.8.12-3.1_riscv64.deb                   05-Feb-2023 06:54               35286
libz3-jni_4.8.12-3.1_s390x.deb                     05-Feb-2023 02:49               38394
libz3-jni_4.8.12-3.1build1_arm64.deb               22-Apr-2024 12:45               35724
libz3-jni_4.8.12-3.1build1_armhf.deb               22-Apr-2024 12:45               33722
libz3-jni_4.8.12-3.1build1_ppc64el.deb             22-Apr-2024 12:45               40600
libz3-jni_4.8.12-3.1build1_riscv64.deb             22-Apr-2024 14:45               36482
libz3-jni_4.8.12-3.1build1_s390x.deb               22-Apr-2024 12:45               39798
libz3-jni_4.8.7-4build1_arm64.deb                  23-Mar-2020 13:08               30644
libz3-jni_4.8.7-4build1_armhf.deb                  23-Mar-2020 12:48               30116
libz3-jni_4.8.7-4build1_ppc64el.deb                23-Mar-2020 12:48               35408
libz3-jni_4.8.7-4build1_riscv64.deb                03-Apr-2020 19:58               32464
libz3-jni_4.8.7-4build1_s390x.deb                  23-Mar-2020 12:48               33252
libz3-ocaml-dev_4.4.0-5_armhf.deb                  08-Dec-2015 12:45              457166
libz3-ocaml-dev_4.4.0-5_powerpc.deb                08-Dec-2015 12:45              424286
libz3-ocaml-dev_4.4.1-0.3build4_arm64.deb          27-Oct-2017 07:01              500004
libz3-ocaml-dev_4.4.1-0.3build4_armhf.deb          27-Oct-2017 07:02              500616
libz3-ocaml-dev_4.4.1-0.3build4_ppc64el.deb        30-Oct-2017 09:55              505660
libz3-ocaml-dev_4.4.1-0.3build4_s390x.deb          30-Oct-2017 09:55              474648
python-z3_4.4.0-5_armhf.deb                        08-Dec-2015 12:45               66084
python-z3_4.4.0-5_powerpc.deb                      08-Dec-2015 12:45               65994
python-z3_4.4.1-0.3build4_arm64.deb                27-Oct-2017 07:01               67040
python-z3_4.4.1-0.3build4_armhf.deb                27-Oct-2017 07:02               67040
python-z3_4.4.1-0.3build4_ppc64el.deb              30-Oct-2017 09:55               67040
python-z3_4.4.1-0.3build4_s390x.deb                30-Oct-2017 09:55               67040
python3-z3_4.8.12-1_arm64.deb                      15-Sep-2021 12:41               79904
python3-z3_4.8.12-1_armhf.deb                      15-Sep-2021 11:59               79904
python3-z3_4.8.12-1_ppc64el.deb                    15-Sep-2021 11:59               79904
python3-z3_4.8.12-1_riscv64.deb                    15-Sep-2021 14:26               79906
python3-z3_4.8.12-1_s390x.deb                      15-Sep-2021 11:33               79904
python3-z3_4.8.12-3.1_arm64.deb                    05-Feb-2023 02:04               79808
python3-z3_4.8.12-3.1_armhf.deb                    05-Feb-2023 01:24               79808
python3-z3_4.8.12-3.1_ppc64el.deb                  05-Feb-2023 00:56               79808
python3-z3_4.8.12-3.1_riscv64.deb                  05-Feb-2023 06:54               79808
python3-z3_4.8.12-3.1_s390x.deb                    05-Feb-2023 02:49               79808
python3-z3_4.8.12-3.1build1_arm64.deb              22-Apr-2024 12:45               79746
python3-z3_4.8.12-3.1build1_armhf.deb              22-Apr-2024 12:45               79744
python3-z3_4.8.12-3.1build1_ppc64el.deb            22-Apr-2024 12:45               79748
python3-z3_4.8.12-3.1build1_riscv64.deb            22-Apr-2024 14:45               79750
python3-z3_4.8.12-3.1build1_s390x.deb              22-Apr-2024 12:45               79744
python3-z3_4.8.7-4build1_arm64.deb                 23-Mar-2020 13:08               76544
python3-z3_4.8.7-4build1_armhf.deb                 23-Mar-2020 12:48               76544
python3-z3_4.8.7-4build1_ppc64el.deb               23-Mar-2020 12:48               76548
python3-z3_4.8.7-4build1_riscv64.deb               03-Apr-2020 19:58               76548
python3-z3_4.8.7-4build1_s390x.deb                 23-Mar-2020 12:48               76544
z3_4.4.0-5.debian.tar.xz                           08-Dec-2015 06:10               11420
z3_4.4.0-5.dsc                                     08-Dec-2015 06:10                2122
z3_4.4.0-5_armhf.deb                               08-Dec-2015 12:45             4387690
z3_4.4.0-5_powerpc.deb                             08-Dec-2015 12:45             4513766
z3_4.4.0.orig.tar.gz                               18-Jun-2015 23:23             3457136
z3_4.4.1-0.3build4.debian.tar.xz                   27-Oct-2017 04:44               14424
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             4701188
z3_4.4.1-0.3build4_armhf.deb                       27-Oct-2017 07:02             4366272
z3_4.4.1-0.3build4_ppc64el.deb                     30-Oct-2017 09:55             5252188
z3_4.4.1-0.3build4_s390x.deb                       30-Oct-2017 09:55             4561172
z3_4.4.1.orig.tar.gz                               18-Jul-2016 23:45             3347371
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             5416174
z3_4.8.12-1_armhf.deb                              15-Sep-2021 11:59             6828050
z3_4.8.12-1_ppc64el.deb                            15-Sep-2021 11:59             6153626
z3_4.8.12-1_riscv64.deb                            15-Sep-2021 14:26             7570762
z3_4.8.12-1_s390x.deb                              15-Sep-2021 11:33             5416958
z3_4.8.12-3.1.debian.tar.xz                        04-Feb-2023 23:47               10420
z3_4.8.12-3.1.dsc                                  04-Feb-2023 23:47                2663
z3_4.8.12-3.1_arm64.deb                            05-Feb-2023 02:04             5412124
z3_4.8.12-3.1_armhf.deb                            05-Feb-2023 01:24             6851330
z3_4.8.12-3.1_ppc64el.deb                          05-Feb-2023 00:56             6063046
z3_4.8.12-3.1_riscv64.deb                          05-Feb-2023 06:54             7585008
z3_4.8.12-3.1_s390x.deb                            05-Feb-2023 02:49             5454126
z3_4.8.12-3.1build1.debian.tar.xz                  22-Apr-2024 11:47               10536
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             5572736
z3_4.8.12-3.1build1_armhf.deb                      22-Apr-2024 12:45             7126514
z3_4.8.12-3.1build1_ppc64el.deb                    22-Apr-2024 12:45             6253204
z3_4.8.12-3.1build1_riscv64.deb                    22-Apr-2024 14:45             8257328
z3_4.8.12-3.1build1_s390x.deb                      22-Apr-2024 12:45             6602280
z3_4.8.12.orig.tar.gz                              15-Sep-2021 11:19             4803435
z3_4.8.7-4build1.debian.tar.xz                     23-Mar-2020 07:18               10080
z3_4.8.7-4build1.dsc                               23-Mar-2020 07:18                2594
z3_4.8.7-4build1_arm64.deb                         23-Mar-2020 13:08             5872480
z3_4.8.7-4build1_armhf.deb                         23-Mar-2020 12:48             5797216
z3_4.8.7-4build1_ppc64el.deb                       23-Mar-2020 12:48             6679308
z3_4.8.7-4build1_riscv64.deb                       03-Apr-2020 19:58             6482420
z3_4.8.7-4build1_s390x.deb                         23-Mar-2020 12:48             5919792
z3_4.8.7.orig.tar.gz                               09-Dec-2019 05:13             4343720