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

../
libz3-4_4.8.12-1_arm64.deb                         31-Aug-2023 02:06             5352310
libz3-4_4.8.12-3.1build1_arm64.deb                 24-Apr-2024 00:11             5492238
libz3-dev_4.8.12-1_arm64.deb                       31-Aug-2023 02:06               72166
libz3-dev_4.8.12-3.1build1_arm64.deb               24-Apr-2024 00:11               72216
libz3-java_4.8.12-1_arm64.deb                      31-Aug-2023 02:06              159582
libz3-java_4.8.12-3.1build1_arm64.deb              24-Apr-2024 00:11              162850
libz3-jni_4.8.12-1_arm64.deb                       31-Aug-2023 02:06               38848
libz3-jni_4.8.12-3.1build1_arm64.deb               24-Apr-2024 00:11               35724
python3-z3_4.8.12-1_arm64.deb                      31-Aug-2023 02:06               79904
python3-z3_4.8.12-3.1build1_arm64.deb              24-Apr-2024 00:11               79746
z3_4.8.12-1.debian.tar.xz                          31-Aug-2023 02:06                9896
z3_4.8.12-1.dsc                                    31-Aug-2023 02:06                2642
z3_4.8.12-1_arm64.deb                              31-Aug-2023 02:06             5416174
z3_4.8.12-3.1build1.debian.tar.xz                  24-Apr-2024 00:11               10536
z3_4.8.12-3.1build1.dsc                            24-Apr-2024 00:11                2770
z3_4.8.12-3.1build1_arm64.deb                      24-Apr-2024 00:11             5572736
z3_4.8.12.orig.tar.gz                              31-Aug-2023 02:06             4803435