Welcome to mirrors.dotsrc.org

All our mirrors of open source software are available via http, https, ftp and an onion service. More information about our mirrors including statistics and contact information is available on our mirror info pages.

For information about dotsrc.org and our other services please go to our website.

Index of /pub/ubuntu/pool/universe/z/z3/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
z3_4.4.0.orig.tar.gz3.3 MiB2015-06-18 23:23:48
z3_4.4.0-5.dsc2.1 KiB2015-12-08 06:10:27
z3_4.4.0-5.debian.tar.xz11.2 KiB2015-12-08 06:10:27
libz3-java_4.4.0-5_all.deb134.0 KiB2015-12-08 12:44:57
libz3-dev_4.4.0-5_amd64.deb5.1 MiB2015-12-08 12:44:58
libz3-jni_4.4.0-5_amd64.deb30.2 KiB2015-12-08 12:44:59
libz3-ocaml-dev_4.4.0-5_amd64.deb443.6 KiB2015-12-08 12:45:00
python-z3_4.4.0-5_amd64.deb64.6 KiB2015-12-08 12:45:01
z3_4.4.0-5_amd64.deb5.0 MiB2015-12-08 12:45:02
libz3-cil_4.4.0-5_amd64.deb39.2 KiB2015-12-08 12:45:03
libz3-ocaml-dev_4.4.0-5_i386.deb415.1 KiB2015-12-08 12:45:32
libz3-jni_4.4.0-5_i386.deb39.8 KiB2015-12-08 12:45:33
libz3-cil_4.4.0-5_i386.deb39.2 KiB2015-12-08 12:45:35
python-z3_4.4.0-5_i386.deb64.6 KiB2015-12-08 12:45:35
libz3-dev_4.4.0-5_i386.deb5.4 MiB2015-12-08 12:45:36
z3_4.4.0-5_i386.deb5.4 MiB2015-12-08 12:45:36
z3_4.4.1.orig.tar.gz3.2 MiB2016-07-18 23:45:27
z3_4.4.1-0.3build4.debian.tar.xz14.1 KiB2017-10-27 04:44:14
z3_4.4.1-0.3build4.dsc2.5 KiB2017-10-27 04:44:14
libz3-java_4.4.1-0.3build4_amd64.deb140.2 KiB2017-10-27 04:44:20
libz3-dev_4.4.1-0.3build4_amd64.deb62.7 KiB2017-10-27 04:44:20
z3_4.4.1-0.3build4_amd64.deb5.0 MiB2017-10-27 04:44:20
libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb479.2 KiB2017-10-27 04:44:20
libz3-4_4.4.1-0.3build4_amd64.deb4.9 MiB2017-10-27 04:44:21
libz3-cil_4.4.1-0.3build4_amd64.deb39.8 KiB2017-10-27 04:44:21
libz3-jni_4.4.1-0.3build4_amd64.deb30.6 KiB2017-10-27 04:44:21
python-z3_4.4.1-0.3build4_amd64.deb65.5 KiB2017-10-27 04:44:21
libz3-jni_4.4.1-0.3build4_i386.deb40.0 KiB2017-10-27 04:53:44
libz3-dev_4.4.1-0.3build4_i386.deb62.7 KiB2017-10-27 04:53:44
z3_4.4.1-0.3build4_i386.deb5.5 MiB2017-10-27 04:53:44
libz3-cil_4.4.1-0.3build4_i386.deb39.7 KiB2017-10-27 04:53:44
python-z3_4.4.1-0.3build4_i386.deb65.5 KiB2017-10-27 04:53:45
libz3-java_4.4.1-0.3build4_i386.deb140.2 KiB2017-10-27 04:53:45
libz3-ocaml-dev_4.4.1-0.3build4_i386.deb459.7 KiB2017-10-27 04:53:45
libz3-4_4.4.1-0.3build4_i386.deb5.4 MiB2017-10-27 04:53:45
z3_4.8.7.orig.tar.gz4.1 MiB2019-12-09 05:13:18
z3_4.8.7-4build1.debian.tar.xz9.8 KiB2020-03-23 07:18:48
z3_4.8.7-4build1.dsc2.5 KiB2020-03-23 07:18:48
libz3-java_4.8.7-4build1_i386.deb150.2 KiB2020-03-23 08:39:18
python3-z3_4.8.7-4build1_i386.deb74.8 KiB2020-03-23 08:39:19
z3_4.8.7-4build1_i386.deb7.1 MiB2020-03-23 08:39:19
libz3-4_4.8.7-4build1_i386.deb7.1 MiB2020-03-23 08:39:19
libz3-dev_4.8.7-4build1_i386.deb65.9 KiB2020-03-23 08:39:19
libz3-jni_4.8.7-4build1_i386.deb38.6 KiB2020-03-23 08:39:19
libz3-dev_4.8.7-4build1_amd64.deb65.9 KiB2020-03-23 09:03:50
libz3-java_4.8.7-4build1_amd64.deb150.2 KiB2020-03-23 09:03:51
libz3-4_4.8.7-4build1_amd64.deb6.5 MiB2020-03-23 09:03:51
libz3-jni_4.8.7-4build1_amd64.deb32.1 KiB2020-03-23 09:03:51
z3_4.8.7-4build1_amd64.deb6.5 MiB2020-03-23 09:03:51
python3-z3_4.8.7-4build1_amd64.deb74.8 KiB2020-03-23 09:03:51
z3_4.8.12.orig.tar.gz4.6 MiB2021-09-15 11:19:01
z3_4.8.12-1.dsc2.6 KiB2021-09-15 11:19:01
z3_4.8.12-1.debian.tar.xz9.7 KiB2021-09-15 11:19:01
libz3-4_4.8.12-1_amd64.deb5.5 MiB2021-09-15 11:33:50
python3-z3_4.8.12-1_amd64.deb78.0 KiB2021-09-15 11:33:50
libz3-jni_4.8.12-1_amd64.deb42.0 KiB2021-09-15 11:33:50
libz3-dev_4.8.12-1_amd64.deb70.5 KiB2021-09-15 11:33:50
z3_4.8.12-1_amd64.deb5.6 MiB2021-09-15 11:33:51
libz3-java_4.8.12-1_amd64.deb155.8 KiB2021-09-15 11:33:51
libz3-dev_4.8.12-1_i386.deb70.5 KiB2021-09-15 11:59:13
libz3-jni_4.8.12-1_i386.deb48.9 KiB2021-09-15 11:59:13
libz3-java_4.8.12-1_i386.deb155.8 KiB2021-09-15 11:59:13
python3-z3_4.8.12-1_i386.deb78.0 KiB2021-09-15 11:59:13
z3_4.8.12-1_i386.deb8.1 MiB2021-09-15 11:59:13
libz3-4_4.8.12-1_i386.deb8.0 MiB2021-09-15 11:59:14
z3_4.8.12-3.1build1.dsc2.7 KiB2024-04-22 11:47:04
z3_4.8.12-3.1build1.debian.tar.xz10.3 KiB2024-04-22 11:47:04
z3_4.8.12-3.1build1_amd64.deb5.6 MiB2024-04-22 11:47:57
libz3-jni_4.8.12-3.1build1_amd64.deb36.9 KiB2024-04-22 11:47:57
python3-z3_4.8.12-3.1build1_amd64.deb77.9 KiB2024-04-22 11:47:57
libz3-java_4.8.12-3.1build1_amd64.deb159.0 KiB2024-04-22 11:47:57
libz3-dev_4.8.12-3.1build1_amd64.deb70.5 KiB2024-04-22 11:47:58
libz3-4_4.8.12-3.1build1_amd64.deb5.6 MiB2024-04-22 11:47:58
libz3-jni_4.8.12-3.1build1_i386.deb45.9 KiB2024-04-22 11:48:48
python3-z3_4.8.12-3.1build1_i386.deb77.9 KiB2024-04-22 11:48:48
libz3-4_4.8.12-3.1build1_i386.deb8.2 MiB2024-04-22 11:48:48
libz3-java_4.8.12-3.1build1_i386.deb159.0 KiB2024-04-22 11:48:48
libz3-dev_4.8.12-3.1build1_i386.deb70.5 KiB2024-04-22 11:48:48
z3_4.8.12-3.1build1_i386.deb8.2 MiB2024-04-22 11:48:48
z3_4.13.3-1.debian.tar.xz10.4 KiB2024-11-05 12:18:25
z3_4.13.3.orig.tar.gz5.3 MiB2024-11-05 12:18:25
z3_4.13.3-1.dsc2.6 KiB2024-11-05 12:18:25
libz3-dev_4.13.3-1_amd64.deb78.3 KiB2024-11-05 12:18:46
libz3-jni_4.13.3-1_amd64.deb41.5 KiB2024-11-05 12:18:46
libz3-java_4.13.3-1_amd64.deb176.9 KiB2024-11-05 12:18:46
z3_4.13.3-1_amd64.deb6.6 MiB2024-11-05 12:18:46
python3-z3_4.13.3-1_amd64.deb83.0 KiB2024-11-05 12:18:46
libz3-4_4.13.3-1_amd64.deb6.6 MiB2024-11-05 12:18:47
libz3-dev_4.13.3-1_arm64.deb78.3 KiB2024-11-05 12:18:57
libz3-jni_4.13.3-1_arm64.deb39.3 KiB2024-11-05 12:18:57
libz3-java_4.13.3-1_arm64.deb176.9 KiB2024-11-05 12:18:57
z3_4.13.3-1_arm64.deb6.2 MiB2024-11-05 12:18:57
python3-z3_4.13.3-1_arm64.deb83.0 KiB2024-11-05 12:18:57
libz3-4_4.13.3-1_arm64.deb6.1 MiB2024-11-05 12:18:57
python3-z3_4.13.3-1_i386.deb83.0 KiB2024-11-05 12:19:11
z3_4.13.3-1_i386.deb9.5 MiB2024-11-05 12:19:11
libz3-dev_4.13.3-1_i386.deb78.3 KiB2024-11-05 12:19:12
libz3-4_4.13.3-1_i386.deb9.4 MiB2024-11-05 12:19:12
libz3-java_4.13.3-1_i386.deb176.9 KiB2024-11-05 12:19:12
libz3-jni_4.13.3-1_i386.deb52.3 KiB2024-11-05 12:19:12
z3_4.13.3-1build1.dsc2.7 KiB2025-11-08 15:25:00
z3_4.13.3-1build1.debian.tar.xz10.5 KiB2025-11-08 15:25:00
python3-z3_4.13.3-1build1_amd64.deb82.9 KiB2025-11-08 15:25:28
libz3-jni_4.13.3-1build1_amd64.deb41.5 KiB2025-11-08 15:25:28
z3_4.13.3-1build1_amd64v3.deb6.7 MiB2025-11-08 15:25:28
libz3-jni_4.13.3-1build1_amd64v3.deb41.6 KiB2025-11-08 15:25:28
libz3-dev_4.13.3-1build1_amd64v3.deb78.4 KiB2025-11-08 15:25:28
libz3-java_4.13.3-1build1_amd64v3.deb176.9 KiB2025-11-08 15:25:28
libz3-4_4.13.3-1build1_amd64.deb6.6 MiB2025-11-08 15:25:28
python3-z3_4.13.3-1build1_amd64v3.deb82.9 KiB2025-11-08 15:25:28
libz3-dev_4.13.3-1build1_amd64.deb78.4 KiB2025-11-08 15:25:28
libz3-java_4.13.3-1build1_amd64.deb176.9 KiB2025-11-08 15:25:28
z3_4.13.3-1build1_amd64.deb6.7 MiB2025-11-08 15:25:28
libz3-4_4.13.3-1build1_amd64v3.deb6.6 MiB2025-11-08 15:25:29
python3-z3_4.13.3-1build1_arm64.deb82.9 KiB2025-11-08 15:25:29
libz3-jni_4.13.3-1build1_arm64.deb39.2 KiB2025-11-08 15:25:29
z3_4.13.3-1build1_arm64.deb6.1 MiB2025-11-08 15:25:29
libz3-4_4.13.3-1build1_arm64.deb6.0 MiB2025-11-08 15:25:29
libz3-dev_4.13.3-1build1_arm64.deb78.4 KiB2025-11-08 15:25:29
libz3-java_4.13.3-1build1_arm64.deb176.9 KiB2025-11-08 15:25:29
z3_4.13.3-1build1_i386.deb9.5 MiB2025-11-08 17:20:53
python3-z3_4.13.3-1build1_i386.deb82.9 KiB2025-11-08 17:20:53
libz3-dev_4.13.3-1build1_i386.deb78.4 KiB2025-11-08 17:20:54
libz3-java_4.13.3-1build1_i386.deb176.9 KiB2025-11-08 17:20:54
libz3-4_4.13.3-1build1_i386.deb9.5 MiB2025-11-08 17:20:54
libz3-jni_4.13.3-1build1_i386.deb52.0 KiB2025-11-08 17:20:54