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/debian/pool/main/z/z3/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
z3_4.8.10-1.dsc	2.6 KiB	2021-01-29 17:20:56
z3_4.8.12-3.1.dsc	2.6 KiB	2023-02-01 15:12:19
z3_4.13.3-1.dsc	2.6 KiB	2024-11-05 07:40:57
z3_4.4.1-1~deb10u1.dsc	3.0 KiB	2019-08-24 10:56:27
z3_4.8.10-1.debian.tar.xz	9.9 KiB	2021-01-29 17:20:56
z3_4.8.12-3.1.debian.tar.xz	10.2 KiB	2023-02-01 15:12:19
z3_4.13.3-1.debian.tar.xz	10.4 KiB	2024-11-05 07:40:57
z3_4.4.1-1~deb10u1.debian.tar.xz	14.4 KiB	2019-08-24 10:56:27
libz3-jni_4.8.10-1_armel.deb	27.7 KiB	2021-01-29 18:12:10
libz3-jni_4.8.12-3.1_armel.deb	27.8 KiB	2023-02-01 17:14:14
libz3-jni_4.4.1-1~deb10u1_armhf.deb	28.2 KiB	2019-08-25 16:14:21
libz3-jni_4.4.1-1~deb10u1_arm64.deb	28.9 KiB	2019-08-25 18:16:59
libz3-jni_4.8.12-3.1_armhf.deb	29.3 KiB	2023-02-01 16:58:59
libz3-jni_4.8.10-1_armhf.deb	29.7 KiB	2021-01-29 18:17:45
libz3-jni_4.8.12-3.1_arm64.deb	29.9 KiB	2023-02-01 16:58:53
libz3-jni_4.8.10-1_arm64.deb	29.9 KiB	2021-01-29 18:17:56
libz3-jni_4.4.1-1~deb10u1_amd64.deb	30.8 KiB	2019-08-25 16:14:12
libz3-jni_4.13.3-1_armel.deb	31.6 KiB	2024-11-05 08:57:20
libz3-jni_4.8.12-3.1_amd64.deb	31.7 KiB	2023-02-01 16:28:06
libz3-jni_4.8.10-1_amd64.deb	32.0 KiB	2021-01-29 18:12:00
libz3-jni_4.8.10-1_s390x.deb	32.2 KiB	2021-01-29 18:12:33
libz3-jni_4.8.12-3.1_s390x.deb	32.5 KiB	2023-02-01 16:23:00
libz3-jni_4.8.10-1_mips64el.deb	33.4 KiB	2021-01-29 21:00:23
libz3-jni_4.8.12-3.1_mips64el.deb	33.5 KiB	2023-02-02 20:59:37
libz3-jni_4.13.3-1_armhf.deb	33.8 KiB	2024-11-05 08:47:07
libz3-jni_4.13.3-1_arm64.deb	34.8 KiB	2024-11-05 09:18:27
libz3-jni_4.8.10-1_ppc64el.deb	34.9 KiB	2021-01-29 18:11:49
libz3-jni_4.13.3-1_riscv64.deb	35.1 KiB	2024-11-06 09:24:48
libz3-jni_4.8.12-3.1_ppc64el.deb	35.4 KiB	2023-02-02 06:57:58
libz3-jni_4.8.12-3.1_mipsel.deb	35.4 KiB	2023-02-01 18:45:44
libz3-jni_4.8.10-1_mipsel.deb	35.7 KiB	2021-01-29 21:42:07
libz3-jni_4.13.3-1_amd64.deb	36.6 KiB	2024-11-05 08:11:18
libz3-jni_4.13.3-1_mips64el.deb	37.8 KiB	2024-11-05 14:45:15
libz3-jni_4.13.3-1_s390x.deb	38.2 KiB	2024-11-05 08:26:55
libz3-jni_4.8.12-3.1_i386.deb	39.2 KiB	2023-02-01 16:22:54
libz3-jni_4.8.10-1_i386.deb	39.2 KiB	2021-01-29 18:12:21
libz3-cil_4.4.1-1~deb10u1_arm64.deb	39.8 KiB	2019-08-25 18:16:59
libz3-cil_4.4.1-1~deb10u1_i386.deb	39.8 KiB	2019-08-25 16:29:36
libz3-cil_4.4.1-1~deb10u1_armhf.deb	39.8 KiB	2019-08-25 16:14:21
libz3-cil_4.4.1-1~deb10u1_amd64.deb	39.8 KiB	2019-08-25 16:14:12
libz3-jni_4.13.3-1_ppc64el.deb	40.4 KiB	2024-11-05 08:11:27
libz3-jni_4.4.1-1~deb10u1_i386.deb	40.6 KiB	2019-08-25 16:29:36
libz3-jni_4.13.3-1_i386.deb	45.1 KiB	2024-11-05 08:16:34
python-z3_4.4.1-1~deb10u1_i386.deb	65.4 KiB	2019-08-25 16:29:36
python-z3_4.4.1-1~deb10u1_amd64.deb	65.5 KiB	2019-08-25 16:14:12
python-z3_4.4.1-1~deb10u1_arm64.deb	65.5 KiB	2019-08-25 18:16:59
python-z3_4.4.1-1~deb10u1_armhf.deb	65.5 KiB	2019-08-25 16:14:21
python3-z3_4.8.10-1_ppc64el.deb	76.3 KiB	2021-01-29 18:11:49
python3-z3_4.8.10-1_mips64el.deb	76.3 KiB	2021-01-29 21:00:23
python3-z3_4.8.10-1_i386.deb	76.3 KiB	2021-01-29 18:12:21
python3-z3_4.8.10-1_arm64.deb	76.3 KiB	2021-01-29 18:17:56
python3-z3_4.8.10-1_armhf.deb	76.3 KiB	2021-01-29 18:17:45
python3-z3_4.8.10-1_armel.deb	76.3 KiB	2021-01-29 18:12:10
python3-z3_4.8.10-1_amd64.deb	76.3 KiB	2021-01-29 18:12:00
python3-z3_4.8.10-1_mipsel.deb	76.3 KiB	2021-01-29 21:42:07
python3-z3_4.8.10-1_s390x.deb	76.3 KiB	2021-01-29 18:12:33
python3-z3_4.8.12-3.1_mips64el.deb	76.5 KiB	2023-02-02 20:59:37
python3-z3_4.8.12-3.1_amd64.deb	76.5 KiB	2023-02-01 16:28:06
python3-z3_4.8.12-3.1_arm64.deb	76.5 KiB	2023-02-01 16:58:53
python3-z3_4.8.12-3.1_i386.deb	76.5 KiB	2023-02-01 16:22:54
python3-z3_4.8.12-3.1_armel.deb	76.5 KiB	2023-02-01 17:14:14
python3-z3_4.8.12-3.1_mipsel.deb	76.5 KiB	2023-02-01 18:45:44
python3-z3_4.8.12-3.1_ppc64el.deb	76.5 KiB	2023-02-02 06:57:58
python3-z3_4.8.12-3.1_s390x.deb	76.5 KiB	2023-02-01 16:23:00
python3-z3_4.8.12-3.1_armhf.deb	76.5 KiB	2023-02-01 16:58:59
libz3-dev_4.4.1-1~deb10u1_i386.deb	77.8 KiB	2019-08-25 16:29:36
libz3-dev_4.4.1-1~deb10u1_amd64.deb	77.8 KiB	2019-08-25 16:14:12
libz3-dev_4.4.1-1~deb10u1_arm64.deb	77.8 KiB	2019-08-25 18:16:59
libz3-dev_4.4.1-1~deb10u1_armhf.deb	77.8 KiB	2019-08-25 16:14:21
python3-z3_4.13.3-1_s390x.deb	81.5 KiB	2024-11-05 08:26:55
python3-z3_4.13.3-1_mips64el.deb	81.5 KiB	2024-11-05 14:45:15
python3-z3_4.13.3-1_armel.deb	81.5 KiB	2024-11-05 08:57:20
python3-z3_4.13.3-1_i386.deb	81.5 KiB	2024-11-05 08:16:34
python3-z3_4.13.3-1_arm64.deb	81.5 KiB	2024-11-05 09:18:27
python3-z3_4.13.3-1_amd64.deb	81.5 KiB	2024-11-05 08:11:18
python3-z3_4.13.3-1_armhf.deb	81.5 KiB	2024-11-05 08:47:07
python3-z3_4.13.3-1_riscv64.deb	81.5 KiB	2024-11-06 09:24:48
python3-z3_4.13.3-1_ppc64el.deb	81.5 KiB	2024-11-05 08:11:27
libz3-dev_4.8.12-3.1_mipsel.deb	88.4 KiB	2023-02-01 18:45:44
libz3-dev_4.8.12-3.1_s390x.deb	88.4 KiB	2023-02-01 16:23:00
libz3-dev_4.8.12-3.1_i386.deb	88.4 KiB	2023-02-01 16:22:54
libz3-dev_4.8.12-3.1_armel.deb	88.4 KiB	2023-02-01 17:14:14
libz3-dev_4.8.12-3.1_amd64.deb	88.4 KiB	2023-02-01 16:28:06
libz3-dev_4.8.12-3.1_arm64.deb	88.4 KiB	2023-02-01 16:58:53
libz3-dev_4.8.12-3.1_mips64el.deb	88.4 KiB	2023-02-02 20:59:37
libz3-dev_4.8.12-3.1_armhf.deb	88.4 KiB	2023-02-01 16:58:59
libz3-dev_4.8.12-3.1_ppc64el.deb	88.4 KiB	2023-02-02 06:57:58
libz3-dev_4.8.10-1_armel.deb	88.7 KiB	2021-01-29 18:12:10
libz3-dev_4.8.10-1_amd64.deb	88.7 KiB	2021-01-29 18:12:00
libz3-dev_4.8.10-1_i386.deb	88.7 KiB	2021-01-29 18:12:21
libz3-dev_4.8.10-1_mipsel.deb	88.7 KiB	2021-01-29 21:42:07
libz3-dev_4.8.10-1_s390x.deb	88.7 KiB	2021-01-29 18:12:33
libz3-dev_4.8.10-1_arm64.deb	88.7 KiB	2021-01-29 18:17:56
libz3-dev_4.8.10-1_armhf.deb	88.7 KiB	2021-01-29 18:17:45
libz3-dev_4.8.10-1_ppc64el.deb	88.7 KiB	2021-01-29 18:11:49
libz3-dev_4.8.10-1_mips64el.deb	88.7 KiB	2021-01-29 21:00:23
libz3-dev_4.13.3-1_s390x.deb	104.0 KiB	2024-11-05 08:26:55
libz3-dev_4.13.3-1_i386.deb	104.0 KiB	2024-11-05 08:16:34
libz3-dev_4.13.3-1_armel.deb	104.0 KiB	2024-11-05 08:57:20
libz3-dev_4.13.3-1_amd64.deb	104.0 KiB	2024-11-05 08:11:18
libz3-dev_4.13.3-1_arm64.deb	104.0 KiB	2024-11-05 09:18:27
libz3-dev_4.13.3-1_riscv64.deb	104.0 KiB	2024-11-06 09:24:48
libz3-dev_4.13.3-1_armhf.deb	104.0 KiB	2024-11-05 08:47:07
libz3-dev_4.13.3-1_ppc64el.deb	104.0 KiB	2024-11-05 08:11:27
libz3-dev_4.13.3-1_mips64el.deb	104.0 KiB	2024-11-05 14:45:15
libz3-java_4.4.1-1~deb10u1_i386.deb	142.9 KiB	2019-08-25 16:29:36
libz3-java_4.4.1-1~deb10u1_amd64.deb	142.9 KiB	2019-08-25 16:14:12
libz3-java_4.4.1-1~deb10u1_arm64.deb	142.9 KiB	2019-08-25 18:16:59
libz3-java_4.4.1-1~deb10u1_armhf.deb	142.9 KiB	2019-08-25 16:14:21
libz3-java_4.8.10-1_armel.deb	155.6 KiB	2021-01-29 18:12:10
libz3-java_4.8.10-1_i386.deb	155.6 KiB	2021-01-29 18:12:21
libz3-java_4.8.10-1_arm64.deb	155.6 KiB	2021-01-29 18:17:56
libz3-java_4.8.10-1_armhf.deb	155.6 KiB	2021-01-29 18:17:45
libz3-java_4.8.10-1_s390x.deb	155.6 KiB	2021-01-29 18:12:33
libz3-java_4.8.10-1_ppc64el.deb	155.6 KiB	2021-01-29 18:11:49
libz3-java_4.8.10-1_mipsel.deb	155.6 KiB	2021-01-29 21:42:07
libz3-java_4.8.10-1_amd64.deb	155.6 KiB	2021-01-29 18:12:00
libz3-java_4.8.10-1_mips64el.deb	155.6 KiB	2021-01-29 21:00:23
libz3-java_4.8.12-3.1_armhf.deb	159.3 KiB	2023-02-01 16:58:59
libz3-java_4.8.12-3.1_arm64.deb	159.3 KiB	2023-02-01 16:58:53
libz3-java_4.8.12-3.1_amd64.deb	159.3 KiB	2023-02-01 16:28:06
libz3-java_4.8.12-3.1_armel.deb	159.3 KiB	2023-02-01 17:14:14
libz3-java_4.8.12-3.1_mipsel.deb	159.3 KiB	2023-02-01 18:45:44
libz3-java_4.8.12-3.1_ppc64el.deb	159.3 KiB	2023-02-02 06:57:58
libz3-java_4.8.12-3.1_i386.deb	159.3 KiB	2023-02-01 16:22:54
libz3-java_4.8.12-3.1_s390x.deb	159.3 KiB	2023-02-01 16:23:00
libz3-java_4.8.12-3.1_mips64el.deb	159.3 KiB	2023-02-02 20:59:37
libz3-java_4.13.3-1_arm64.deb	177.9 KiB	2024-11-05 09:18:27
libz3-java_4.13.3-1_i386.deb	177.9 KiB	2024-11-05 08:16:34
libz3-java_4.13.3-1_amd64.deb	177.9 KiB	2024-11-05 08:11:18
libz3-java_4.13.3-1_armhf.deb	177.9 KiB	2024-11-05 08:47:07
libz3-java_4.13.3-1_s390x.deb	177.9 KiB	2024-11-05 08:26:55
libz3-java_4.13.3-1_armel.deb	177.9 KiB	2024-11-05 08:57:20
libz3-java_4.13.3-1_mips64el.deb	177.9 KiB	2024-11-05 14:45:15
libz3-java_4.13.3-1_riscv64.deb	177.9 KiB	2024-11-06 09:24:48
libz3-java_4.13.3-1_ppc64el.deb	177.9 KiB	2024-11-05 08:11:27
libz3-ocaml-dev_4.4.1-1~deb10u1_i386.deb	486.2 KiB	2019-08-25 16:29:36
libz3-ocaml-dev_4.4.1-1~deb10u1_arm64.deb	505.7 KiB	2019-08-25 18:16:59
libz3-ocaml-dev_4.4.1-1~deb10u1_amd64.deb	513.8 KiB	2019-08-25 16:14:12
libz3-ocaml-dev_4.4.1-1~deb10u1_armhf.deb	526.0 KiB	2019-08-25 16:14:21
z3_4.4.1.orig.tar.gz	3.2 MiB	2016-07-18 10:19:25
libz3-4_4.4.1-1~deb10u1_armhf.deb	4.1 MiB	2019-08-25 16:14:21
z3_4.4.1-1~deb10u1_armhf.deb	4.1 MiB	2019-08-25 16:14:22
libz3-4_4.4.1-1~deb10u1_arm64.deb	4.3 MiB	2019-08-25 18:16:59
z3_4.4.1-1~deb10u1_arm64.deb	4.4 MiB	2019-08-25 18:16:59
z3_4.8.10.orig.tar.gz	4.5 MiB	2021-01-29 17:20:56
z3_4.8.12.orig.tar.gz	4.6 MiB	2021-09-11 16:38:21
libz3-4_4.4.1-1~deb10u1_amd64.deb	5.0 MiB	2019-08-25 16:14:12
z3_4.4.1-1~deb10u1_amd64.deb	5.0 MiB	2019-08-25 16:14:13
z3_4.13.3.orig.tar.gz	5.3 MiB	2024-11-05 07:40:57
libz3-4_4.8.10-1_armel.deb	5.4 MiB	2021-01-29 18:12:10
z3_4.8.10-1_armel.deb	5.4 MiB	2021-01-29 18:12:12
libz3-4_4.4.1-1~deb10u1_i386.deb	5.5 MiB	2019-08-25 16:29:36
libz3-4_4.8.12-3.1_armel.deb	5.5 MiB	2023-02-01 17:14:14
z3_4.4.1-1~deb10u1_i386.deb	5.5 MiB	2019-08-25 16:29:37
z3_4.8.12-3.1_armel.deb	5.5 MiB	2023-02-01 17:14:14
libz3-4_4.8.10-1_armhf.deb	5.7 MiB	2021-01-29 18:17:45
z3_4.8.10-1_armhf.deb	5.7 MiB	2021-01-29 18:17:46
libz3-4_4.8.10-1_mipsel.deb	5.7 MiB	2021-01-29 21:42:07
libz3-4_4.8.10-1_mips64el.deb	5.7 MiB	2021-01-29 21:00:23
z3_4.8.10-1_mipsel.deb	5.7 MiB	2021-01-29 21:42:08
z3_4.8.10-1_mips64el.deb	5.8 MiB	2021-01-29 21:00:24
libz3-4_4.8.12-3.1_armhf.deb	5.8 MiB	2023-02-01 16:58:59
z3_4.8.12-3.1_armhf.deb	5.8 MiB	2023-02-01 16:58:59
libz3-4_4.8.12-3.1_mips64el.deb	5.8 MiB	2023-02-02 20:59:37
libz3-4_4.8.12-3.1_mipsel.deb	5.8 MiB	2023-02-01 18:45:44
libz3-4_4.8.10-1_arm64.deb	5.8 MiB	2021-01-29 18:17:56
z3_4.8.10-1_arm64.deb	5.8 MiB	2021-01-29 18:17:58
z3_4.8.12-3.1_mipsel.deb	5.9 MiB	2023-02-01 18:45:44
z3_4.8.12-3.1_mips64el.deb	5.9 MiB	2023-02-02 20:59:37
libz3-4_4.8.10-1_s390x.deb	5.9 MiB	2021-01-29 18:12:33
z3_4.8.10-1_s390x.deb	5.9 MiB	2021-01-29 18:12:34
libz3-4_4.8.12-3.1_arm64.deb	6.0 MiB	2023-02-01 16:58:53
z3_4.8.12-3.1_arm64.deb	6.0 MiB	2023-02-01 16:58:53
libz3-4_4.8.12-3.1_s390x.deb	6.1 MiB	2023-02-01 16:23:00
z3_4.8.12-3.1_s390x.deb	6.1 MiB	2023-02-01 16:23:00
libz3-4_4.8.10-1_amd64.deb	6.6 MiB	2021-01-29 18:12:00
z3_4.13.3-1_armel.deb	6.6 MiB	2024-11-05 08:57:21
z3_4.8.10-1_amd64.deb	6.6 MiB	2021-01-29 18:12:02
libz3-4_4.13.3-1_armel.deb	6.6 MiB	2024-11-05 08:57:20
libz3-4_4.8.10-1_ppc64el.deb	6.8 MiB	2021-01-29 18:11:49
z3_4.8.10-1_ppc64el.deb	6.8 MiB	2021-01-29 18:11:51
libz3-4_4.8.12-3.1_amd64.deb	6.9 MiB	2023-02-01 16:28:06
z3_4.8.12-3.1_amd64.deb	6.9 MiB	2023-02-01 16:28:06
libz3-4_4.13.3-1_armhf.deb	6.9 MiB	2024-11-05 08:47:07
z3_4.13.3-1_armhf.deb	6.9 MiB	2024-11-05 08:47:08
libz3-4_4.8.12-3.1_ppc64el.deb	7.0 MiB	2023-02-02 06:57:58
z3_4.8.12-3.1_ppc64el.deb	7.0 MiB	2023-02-02 06:57:59
z3_4.13.3-1_arm64.deb	7.2 MiB	2024-11-05 09:18:27
libz3-4_4.13.3-1_arm64.deb	7.2 MiB	2024-11-05 09:18:27
libz3-4_4.8.10-1_i386.deb	7.4 MiB	2021-01-29 18:12:21
libz3-4_4.13.3-1_mips64el.deb	7.4 MiB	2024-11-05 14:45:15
z3_4.8.10-1_i386.deb	7.4 MiB	2021-01-29 18:12:23
z3_4.13.3-1_mips64el.deb	7.4 MiB	2024-11-05 14:45:16
libz3-4_4.8.12-3.1_i386.deb	7.5 MiB	2023-02-01 16:22:54
z3_4.8.12-3.1_i386.deb	7.5 MiB	2023-02-01 16:22:55
z3_4.13.3-1_riscv64.deb	8.1 MiB	2024-11-06 09:24:48
libz3-4_4.13.3-1_riscv64.deb	8.1 MiB	2024-11-06 09:24:48
libz3-4_4.13.3-1_amd64.deb	8.2 MiB	2024-11-05 08:11:18
libz3-4_4.13.3-1_ppc64el.deb	8.2 MiB	2024-11-05 08:11:27
z3_4.13.3-1_ppc64el.deb	8.2 MiB	2024-11-05 08:11:27
z3_4.13.3-1_amd64.deb	8.2 MiB	2024-11-05 08:11:19
libz3-4_4.13.3-1_s390x.deb	8.7 MiB	2024-11-05 08:26:55
z3_4.13.3-1_s390x.deb	8.7 MiB	2024-11-05 08:26:56
libz3-4_4.13.3-1_i386.deb	8.8 MiB	2024-11-05 08:16:34
z3_4.13.3-1_i386.deb	8.8 MiB	2024-11-05 08:16:35