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

NameLast ModifiedSizeType
../ -  Directory
libz3-4_4.13.3-1_arm64.deb2024-Nov-05 20:18:576.1Mapplication/vnd.debian.binary-package
libz3-4_4.13.3-1_armhf.deb2024-Nov-05 20:19:087.7Mapplication/vnd.debian.binary-package
libz3-4_4.13.3-1_riscv64.deb2024-Nov-06 01:02:399.0Mapplication/vnd.debian.binary-package
libz3-4_4.4.1-0.3build4_arm64.deb2017-Oct-27 15:01:574.4Mapplication/vnd.debian.binary-package
libz3-4_4.4.1-0.3build4_armhf.deb2017-Oct-27 15:02:074.1Mapplication/vnd.debian.binary-package
libz3-4_4.8.12-1_arm64.deb2021-Sep-15 20:41:095.1Mapplication/vnd.debian.binary-package
libz3-4_4.8.12-1_armhf.deb2021-Sep-15 19:59:126.5Mapplication/vnd.debian.binary-package
libz3-4_4.8.12-1_riscv64.deb2021-Sep-15 22:26:507.1Mapplication/vnd.debian.binary-package
libz3-4_4.8.12-3.1build1_arm64.deb2024-Apr-22 20:45:385.2Mapplication/vnd.debian.binary-package
libz3-4_4.8.12-3.1build1_armhf.deb2024-Apr-22 20:45:456.7Mapplication/vnd.debian.binary-package
libz3-4_4.8.12-3.1build1_riscv64.deb2024-Apr-22 22:45:187.8Mapplication/vnd.debian.binary-package
libz3-4_4.8.7-4build1_arm64.deb2020-Mar-23 21:08:205.6Mapplication/vnd.debian.binary-package
libz3-4_4.8.7-4build1_armhf.deb2020-Mar-23 20:48:265.5Mapplication/vnd.debian.binary-package
libz3-4_4.8.7-4build1_riscv64.deb2020-Apr-04 03:58:556.1Mapplication/vnd.debian.binary-package
libz3-cil_4.4.0-5_armhf.deb2015-Dec-08 20:45:2539.1Kapplication/vnd.debian.binary-package
libz3-cil_4.4.1-0.3build4_arm64.deb2017-Oct-27 15:01:5639.7Kapplication/vnd.debian.binary-package
libz3-cil_4.4.1-0.3build4_armhf.deb2017-Oct-27 15:02:0839.7Kapplication/vnd.debian.binary-package
libz3-dev_4.13.3-1_arm64.deb2024-Nov-05 20:18:5778.2Kapplication/vnd.debian.binary-package
libz3-dev_4.13.3-1_armhf.deb2024-Nov-05 20:19:0878.2Kapplication/vnd.debian.binary-package
libz3-dev_4.13.3-1_riscv64.deb2024-Nov-06 01:02:3878.2Kapplication/vnd.debian.binary-package
libz3-dev_4.4.0-5_armhf.deb2015-Dec-08 20:45:244.2Mapplication/vnd.debian.binary-package
libz3-dev_4.4.1-0.3build4_arm64.deb2017-Oct-27 15:01:5562.7Kapplication/vnd.debian.binary-package
libz3-dev_4.4.1-0.3build4_armhf.deb2017-Oct-27 15:02:0762.7Kapplication/vnd.debian.binary-package
libz3-dev_4.8.12-1_arm64.deb2021-Sep-15 20:41:0870.4Kapplication/vnd.debian.binary-package
libz3-dev_4.8.12-1_armhf.deb2021-Sep-15 19:59:1270.4Kapplication/vnd.debian.binary-package
libz3-dev_4.8.12-1_riscv64.deb2021-Sep-15 22:26:5070.4Kapplication/vnd.debian.binary-package
libz3-dev_4.8.12-3.1build1_arm64.deb2024-Apr-22 20:45:3870.5Kapplication/vnd.debian.binary-package
libz3-dev_4.8.12-3.1build1_armhf.deb2024-Apr-22 20:45:4570.5Kapplication/vnd.debian.binary-package
libz3-dev_4.8.12-3.1build1_riscv64.deb2024-Apr-22 22:45:1870.5Kapplication/vnd.debian.binary-package
libz3-dev_4.8.7-4build1_arm64.deb2020-Mar-23 21:08:2065.9Kapplication/vnd.debian.binary-package
libz3-dev_4.8.7-4build1_armhf.deb2020-Mar-23 20:48:2665.9Kapplication/vnd.debian.binary-package
libz3-dev_4.8.7-4build1_riscv64.deb2020-Apr-04 03:58:5465.9Kapplication/vnd.debian.binary-package
libz3-java_4.13.3-1_arm64.deb2024-Nov-05 20:18:57176.8Kapplication/vnd.debian.binary-package
libz3-java_4.13.3-1_armhf.deb2024-Nov-05 20:19:08176.8Kapplication/vnd.debian.binary-package
libz3-java_4.13.3-1_riscv64.deb2024-Nov-06 01:02:38176.8Kapplication/vnd.debian.binary-package
libz3-java_4.4.0-5_all.deb2015-Dec-08 20:44:57133.9Kapplication/vnd.debian.binary-package
libz3-java_4.4.1-0.3build4_arm64.deb2017-Oct-27 15:01:56140.1Kapplication/vnd.debian.binary-package
libz3-java_4.4.1-0.3build4_armhf.deb2017-Oct-27 15:02:08140.1Kapplication/vnd.debian.binary-package
libz3-java_4.8.12-1_arm64.deb2021-Sep-15 20:41:08155.8Kapplication/vnd.debian.binary-package
libz3-java_4.8.12-1_armhf.deb2021-Sep-15 19:59:12155.8Kapplication/vnd.debian.binary-package
libz3-java_4.8.12-1_riscv64.deb2021-Sep-15 22:26:50155.8Kapplication/vnd.debian.binary-package
libz3-java_4.8.12-3.1build1_arm64.deb2024-Apr-22 20:45:38159.0Kapplication/vnd.debian.binary-package
libz3-java_4.8.12-3.1build1_armhf.deb2024-Apr-22 20:45:45159.0Kapplication/vnd.debian.binary-package
libz3-java_4.8.12-3.1build1_riscv64.deb2024-Apr-22 22:45:18159.0Kapplication/vnd.debian.binary-package
libz3-java_4.8.7-4build1_arm64.deb2020-Mar-23 21:08:19150.1Kapplication/vnd.debian.binary-package
libz3-java_4.8.7-4build1_armhf.deb2020-Mar-23 20:48:27150.1Kapplication/vnd.debian.binary-package
libz3-java_4.8.7-4build1_riscv64.deb2020-Apr-04 03:58:54150.1Kapplication/vnd.debian.binary-package
libz3-jni_4.13.3-1_arm64.deb2024-Nov-05 20:18:5739.3Kapplication/vnd.debian.binary-package
libz3-jni_4.13.3-1_armhf.deb2024-Nov-05 20:19:0737.5Kapplication/vnd.debian.binary-package
libz3-jni_4.13.3-1_riscv64.deb2024-Nov-06 01:02:3840.4Kapplication/vnd.debian.binary-package
libz3-jni_4.4.0-5_armhf.deb2015-Dec-08 20:45:2728.5Kapplication/vnd.debian.binary-package
libz3-jni_4.4.1-0.3build4_arm64.deb2017-Oct-27 15:01:5529.2Kapplication/vnd.debian.binary-package
libz3-jni_4.4.1-0.3build4_armhf.deb2017-Oct-27 15:02:0828.2Kapplication/vnd.debian.binary-package
libz3-jni_4.8.12-1_arm64.deb2021-Sep-15 20:41:0937.9Kapplication/vnd.debian.binary-package
libz3-jni_4.8.12-1_armhf.deb2021-Sep-15 19:59:1335.2Kapplication/vnd.debian.binary-package
libz3-jni_4.8.12-1_riscv64.deb2021-Sep-15 22:26:5037.5Kapplication/vnd.debian.binary-package
libz3-jni_4.8.12-3.1build1_arm64.deb2024-Apr-22 20:45:3834.9Kapplication/vnd.debian.binary-package
libz3-jni_4.8.12-3.1build1_armhf.deb2024-Apr-22 20:45:4532.9Kapplication/vnd.debian.binary-package
libz3-jni_4.8.12-3.1build1_riscv64.deb2024-Apr-22 22:45:1835.6Kapplication/vnd.debian.binary-package
libz3-jni_4.8.7-4build1_arm64.deb2020-Mar-23 21:08:2029.9Kapplication/vnd.debian.binary-package
libz3-jni_4.8.7-4build1_armhf.deb2020-Mar-23 20:48:2529.4Kapplication/vnd.debian.binary-package
libz3-jni_4.8.7-4build1_riscv64.deb2020-Apr-04 03:58:5431.7Kapplication/vnd.debian.binary-package
libz3-ocaml-dev_4.4.0-5_armhf.deb2015-Dec-08 20:45:26446.4Kapplication/vnd.debian.binary-package
libz3-ocaml-dev_4.4.1-0.3build4_arm64.deb2017-Oct-27 15:01:56488.2Kapplication/vnd.debian.binary-package
libz3-ocaml-dev_4.4.1-0.3build4_armhf.deb2017-Oct-27 15:02:08488.9Kapplication/vnd.debian.binary-package
python-z3_4.4.0-5_armhf.deb2015-Dec-08 20:45:2564.5Kapplication/vnd.debian.binary-package
python-z3_4.4.1-0.3build4_arm64.deb2017-Oct-27 15:01:5665.4Kapplication/vnd.debian.binary-package
python-z3_4.4.1-0.3build4_armhf.deb2017-Oct-27 15:02:0765.4Kapplication/vnd.debian.binary-package
python3-z3_4.13.3-1_arm64.deb2024-Nov-05 20:18:5782.9Kapplication/vnd.debian.binary-package
python3-z3_4.13.3-1_armhf.deb2024-Nov-05 20:19:0782.9Kapplication/vnd.debian.binary-package
python3-z3_4.13.3-1_riscv64.deb2024-Nov-06 01:02:3882.9Kapplication/vnd.debian.binary-package
python3-z3_4.8.12-1_arm64.deb2021-Sep-15 20:41:0978.0Kapplication/vnd.debian.binary-package
python3-z3_4.8.12-1_armhf.deb2021-Sep-15 19:59:1378.0Kapplication/vnd.debian.binary-package
python3-z3_4.8.12-1_riscv64.deb2021-Sep-15 22:26:5078.0Kapplication/vnd.debian.binary-package
python3-z3_4.8.12-3.1build1_arm64.deb2024-Apr-22 20:45:3877.8Kapplication/vnd.debian.binary-package
python3-z3_4.8.12-3.1build1_armhf.deb2024-Apr-22 20:45:4577.8Kapplication/vnd.debian.binary-package
python3-z3_4.8.12-3.1build1_riscv64.deb2024-Apr-22 22:45:1877.9Kapplication/vnd.debian.binary-package
python3-z3_4.8.7-4build1_arm64.deb2020-Mar-23 21:08:1974.7Kapplication/vnd.debian.binary-package
python3-z3_4.8.7-4build1_armhf.deb2020-Mar-23 20:48:2574.7Kapplication/vnd.debian.binary-package
python3-z3_4.8.7-4build1_riscv64.deb2020-Apr-04 03:58:5674.7Kapplication/vnd.debian.binary-package
z3_4.13.3-1.debian.tar.xz2024-Nov-05 20:18:2510.4Kapplication/x-xz
z3_4.13.3-1.dsc2024-Nov-05 20:18:252.6Ktext/prs.lines.tag
z3_4.13.3-1_arm64.deb2024-Nov-05 20:18:576.2Mapplication/vnd.debian.binary-package
z3_4.13.3-1_armhf.deb2024-Nov-05 20:19:067.7Mapplication/vnd.debian.binary-package
z3_4.13.3-1_riscv64.deb2024-Nov-06 01:02:389.0Mapplication/vnd.debian.binary-package
z3_4.13.3.orig.tar.gz2024-Nov-05 20:18:255.3Mapplication/x-gtar-compressed
z3_4.4.0-5.debian.tar.xz2015-Dec-08 14:10:2711.1Kapplication/x-xz
z3_4.4.0-5.dsc2015-Dec-08 14:10:272.0Ktext/prs.lines.tag
z3_4.4.0-5_armhf.deb2015-Dec-08 20:45:254.1Mapplication/vnd.debian.binary-package
z3_4.4.0.orig.tar.gz2015-Jun-19 07:23:483.3Mapplication/x-gtar-compressed
z3_4.4.1-0.3build4.debian.tar.xz2017-Oct-27 12:44:1414.0Kapplication/x-xz
z3_4.4.1-0.3build4.dsc2017-Oct-27 12:44:142.4Ktext/prs.lines.tag
z3_4.4.1-0.3build4_arm64.deb2017-Oct-27 15:01:554.4Mapplication/vnd.debian.binary-package
z3_4.4.1-0.3build4_armhf.deb2017-Oct-27 15:02:074.1Mapplication/vnd.debian.binary-package
z3_4.4.1.orig.tar.gz2016-Jul-19 07:45:273.1Mapplication/x-gtar-compressed
z3_4.8.12-1.debian.tar.xz2021-Sep-15 19:19:019.6Kapplication/x-xz
z3_4.8.12-1.dsc2021-Sep-15 19:19:012.5Ktext/prs.lines.tag
z3_4.8.12-1_arm64.deb2021-Sep-15 20:41:095.1Mapplication/vnd.debian.binary-package
z3_4.8.12-1_armhf.deb2021-Sep-15 19:59:126.5Mapplication/vnd.debian.binary-package
z3_4.8.12-1_riscv64.deb2021-Sep-15 22:26:507.2Mapplication/vnd.debian.binary-package
z3_4.8.12-3.1build1.debian.tar.xz2024-Apr-22 19:47:0410.2Kapplication/x-xz
z3_4.8.12-3.1build1.dsc2024-Apr-22 19:47:042.7Ktext/prs.lines.tag
z3_4.8.12-3.1build1_arm64.deb2024-Apr-22 20:45:385.3Mapplication/vnd.debian.binary-package
z3_4.8.12-3.1build1_armhf.deb2024-Apr-22 20:45:456.8Mapplication/vnd.debian.binary-package
z3_4.8.12-3.1build1_riscv64.deb2024-Apr-22 22:45:187.8Mapplication/vnd.debian.binary-package
z3_4.8.12.orig.tar.gz2021-Sep-15 19:19:014.5Mapplication/x-gtar-compressed
z3_4.8.7-4build1.debian.tar.xz2020-Mar-23 15:18:489.8Kapplication/x-xz
z3_4.8.7-4build1.dsc2020-Mar-23 15:18:482.5Ktext/prs.lines.tag
z3_4.8.7-4build1_arm64.deb2020-Mar-23 21:08:205.6Mapplication/vnd.debian.binary-package
z3_4.8.7-4build1_armhf.deb2020-Mar-23 20:48:265.5Mapplication/vnd.debian.binary-package
z3_4.8.7-4build1_riscv64.deb2020-Apr-04 03:58:566.1Mapplication/vnd.debian.binary-package
z3_4.8.7.orig.tar.gz2019-Dec-09 13:13:184.1Mapplication/x-gtar-compressed
lighttpd/1.4.63