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

name	size	date
libz3-4_4.13.3-1build1_i386.deb	9.48M	2025-11-08 17:20:54
libz3-dev_4.13.3-1build1_i386.deb	78.4K	2025-11-08 17:20:54
libz3-java_4.13.3-1build1_i386.deb	176.9K	2025-11-08 17:20:54
libz3-jni_4.13.3-1build1_i386.deb	52.0K	2025-11-08 17:20:54
python3-z3_4.13.3-1build1_i386.deb	82.9K	2025-11-08 17:20:53
z3_4.13.3-1build1_i386.deb	9.49M	2025-11-08 17:20:53
libz3-4_4.13.3-1build1_amd64v3.deb	6.64M	2025-11-08 15:25:29
libz3-4_4.13.3-1build1_amd64.deb	6.57M	2025-11-08 15:25:28
libz3-dev_4.13.3-1build1_amd64.deb	78.4K	2025-11-08 15:25:28
libz3-dev_4.13.3-1build1_amd64v3.deb	78.4K	2025-11-08 15:25:28
libz3-java_4.13.3-1build1_amd64.deb	176.9K	2025-11-08 15:25:28
libz3-java_4.13.3-1build1_amd64v3.deb	176.9K	2025-11-08 15:25:28
libz3-jni_4.13.3-1build1_amd64.deb	41.5K	2025-11-08 15:25:28
libz3-jni_4.13.3-1build1_amd64v3.deb	41.6K	2025-11-08 15:25:28
python3-z3_4.13.3-1build1_amd64.deb	82.9K	2025-11-08 15:25:28
python3-z3_4.13.3-1build1_amd64v3.deb	82.9K	2025-11-08 15:25:28
z3_4.13.3-1build1_amd64.deb	6.66M	2025-11-08 15:25:28
z3_4.13.3-1build1_amd64v3.deb	6.72M	2025-11-08 15:25:28
z3_4.13.3-1build1.debian.tar.xz	10.5K	2025-11-08 15:25:00
z3_4.13.3-1build1.dsc	2.7K	2025-11-08 15:25:00
libz3-4_4.13.3-1_i386.deb	9.45M	2024-11-05 12:19:12
libz3-dev_4.13.3-1_i386.deb	78.3K	2024-11-05 12:19:12
libz3-java_4.13.3-1_i386.deb	176.9K	2024-11-05 12:19:12
libz3-jni_4.13.3-1_i386.deb	52.3K	2024-11-05 12:19:12
python3-z3_4.13.3-1_i386.deb	83.0K	2024-11-05 12:19:11
z3_4.13.3-1_i386.deb	9.46M	2024-11-05 12:19:11
libz3-4_4.13.3-1_amd64.deb	6.55M	2024-11-05 12:18:47
libz3-dev_4.13.3-1_amd64.deb	78.3K	2024-11-05 12:18:46
libz3-java_4.13.3-1_amd64.deb	176.9K	2024-11-05 12:18:46
libz3-jni_4.13.3-1_amd64.deb	41.5K	2024-11-05 12:18:46
python3-z3_4.13.3-1_amd64.deb	83.0K	2024-11-05 12:18:46
z3_4.13.3-1_amd64.deb	6.63M	2024-11-05 12:18:46
z3_4.13.3-1.debian.tar.xz	10.4K	2024-11-05 12:18:25
z3_4.13.3-1.dsc	2.6K	2024-11-05 12:18:25
z3_4.13.3.orig.tar.gz	5.32M	2024-11-05 12:18:25
libz3-4_4.8.12-3.1build1_i386.deb	8.21M	2024-04-22 11:48:48
libz3-dev_4.8.12-3.1build1_i386.deb	70.5K	2024-04-22 11:48:48
libz3-java_4.8.12-3.1build1_i386.deb	159.0K	2024-04-22 11:48:48
libz3-jni_4.8.12-3.1build1_i386.deb	45.9K	2024-04-22 11:48:48
python3-z3_4.8.12-3.1build1_i386.deb	77.9K	2024-04-22 11:48:48
z3_4.8.12-3.1build1_i386.deb	8.25M	2024-04-22 11:48:48
libz3-4_4.8.12-3.1build1_amd64.deb	5.57M	2024-04-22 11:47:58
libz3-dev_4.8.12-3.1build1_amd64.deb	70.5K	2024-04-22 11:47:58
libz3-java_4.8.12-3.1build1_amd64.deb	159.0K	2024-04-22 11:47:57
libz3-jni_4.8.12-3.1build1_amd64.deb	36.9K	2024-04-22 11:47:57
python3-z3_4.8.12-3.1build1_amd64.deb	77.9K	2024-04-22 11:47:57
z3_4.8.12-3.1build1_amd64.deb	5.64M	2024-04-22 11:47:57
z3_4.8.12-3.1build1.debian.tar.xz	10.3K	2024-04-22 11:47:04
z3_4.8.12-3.1build1.dsc	2.7K	2024-04-22 11:47:04
libz3-4_4.8.12-1_i386.deb	8.04M	2021-09-15 11:59:14
libz3-dev_4.8.12-1_i386.deb	70.5K	2021-09-15 11:59:13
libz3-java_4.8.12-1_i386.deb	155.8K	2021-09-15 11:59:13
libz3-jni_4.8.12-1_i386.deb	48.9K	2021-09-15 11:59:13
python3-z3_4.8.12-1_i386.deb	78.0K	2021-09-15 11:59:13
z3_4.8.12-1_i386.deb	8.07M	2021-09-15 11:59:13
libz3-java_4.8.12-1_amd64.deb	155.8K	2021-09-15 11:33:51
z3_4.8.12-1_amd64.deb	5.58M	2021-09-15 11:33:51
libz3-4_4.8.12-1_amd64.deb	5.50M	2021-09-15 11:33:50
libz3-dev_4.8.12-1_amd64.deb	70.5K	2021-09-15 11:33:50
libz3-jni_4.8.12-1_amd64.deb	42.0K	2021-09-15 11:33:50
python3-z3_4.8.12-1_amd64.deb	78.0K	2021-09-15 11:33:50
z3_4.8.12-1.debian.tar.xz	9.7K	2021-09-15 11:19:01
z3_4.8.12-1.dsc	2.6K	2021-09-15 11:19:01
z3_4.8.12.orig.tar.gz	4.58M	2021-09-15 11:19:01
libz3-4_4.8.7-4build1_amd64.deb	6.48M	2020-03-23 09:03:51
libz3-java_4.8.7-4build1_amd64.deb	150.2K	2020-03-23 09:03:51
libz3-jni_4.8.7-4build1_amd64.deb	32.1K	2020-03-23 09:03:51
python3-z3_4.8.7-4build1_amd64.deb	74.8K	2020-03-23 09:03:51
z3_4.8.7-4build1_amd64.deb	6.49M	2020-03-23 09:03:51
libz3-dev_4.8.7-4build1_amd64.deb	65.9K	2020-03-23 09:03:50
libz3-4_4.8.7-4build1_i386.deb	7.06M	2020-03-23 08:39:19
libz3-dev_4.8.7-4build1_i386.deb	65.9K	2020-03-23 08:39:19
libz3-jni_4.8.7-4build1_i386.deb	38.6K	2020-03-23 08:39:19
python3-z3_4.8.7-4build1_i386.deb	74.8K	2020-03-23 08:39:19
z3_4.8.7-4build1_i386.deb	7.08M	2020-03-23 08:39:19
libz3-java_4.8.7-4build1_i386.deb	150.2K	2020-03-23 08:39:18
z3_4.8.7-4build1.debian.tar.xz	9.8K	2020-03-23 07:18:48
z3_4.8.7-4build1.dsc	2.5K	2020-03-23 07:18:48
z3_4.8.7.orig.tar.gz	4.14M	2019-12-09 05:13:18
libz3-4_4.4.1-0.3build4_i386.deb	5.45M	2017-10-27 04:53:45
libz3-java_4.4.1-0.3build4_i386.deb	140.2K	2017-10-27 04:53:45
libz3-ocaml-dev_4.4.1-0.3build4_i386.deb	459.7K	2017-10-27 04:53:45
python-z3_4.4.1-0.3build4_i386.deb	65.5K	2017-10-27 04:53:45
libz3-cil_4.4.1-0.3build4_i386.deb	39.7K	2017-10-27 04:53:44
libz3-dev_4.4.1-0.3build4_i386.deb	62.7K	2017-10-27 04:53:44
libz3-jni_4.4.1-0.3build4_i386.deb	40.0K	2017-10-27 04:53:44
z3_4.4.1-0.3build4_i386.deb	5.47M	2017-10-27 04:53:44
libz3-4_4.4.1-0.3build4_amd64.deb	4.94M	2017-10-27 04:44:21
libz3-cil_4.4.1-0.3build4_amd64.deb	39.8K	2017-10-27 04:44:21
libz3-jni_4.4.1-0.3build4_amd64.deb	30.6K	2017-10-27 04:44:21
python-z3_4.4.1-0.3build4_amd64.deb	65.5K	2017-10-27 04:44:21
libz3-dev_4.4.1-0.3build4_amd64.deb	62.7K	2017-10-27 04:44:20
libz3-java_4.4.1-0.3build4_amd64.deb	140.2K	2017-10-27 04:44:20
libz3-ocaml-dev_4.4.1-0.3build4_amd64.deb	479.2K	2017-10-27 04:44:20
z3_4.4.1-0.3build4_amd64.deb	4.96M	2017-10-27 04:44:20
z3_4.4.1-0.3build4.debian.tar.xz	14.1K	2017-10-27 04:44:14
z3_4.4.1-0.3build4.dsc	2.5K	2017-10-27 04:44:14
z3_4.4.1.orig.tar.gz	3.19M	2016-07-18 23:45:27
libz3-dev_4.4.0-5_i386.deb	5.41M	2015-12-08 12:45:36
z3_4.4.0-5_i386.deb	5.37M	2015-12-08 12:45:36
libz3-cil_4.4.0-5_i386.deb	39.2K	2015-12-08 12:45:35
python-z3_4.4.0-5_i386.deb	64.6K	2015-12-08 12:45:35
libz3-jni_4.4.0-5_i386.deb	39.8K	2015-12-08 12:45:33
libz3-ocaml-dev_4.4.0-5_i386.deb	415.1K	2015-12-08 12:45:32
libz3-cil_4.4.0-5_amd64.deb	39.2K	2015-12-08 12:45:03
z3_4.4.0-5_amd64.deb	5.00M	2015-12-08 12:45:02
python-z3_4.4.0-5_amd64.deb	64.6K	2015-12-08 12:45:01
libz3-ocaml-dev_4.4.0-5_amd64.deb	443.6K	2015-12-08 12:45:00
libz3-jni_4.4.0-5_amd64.deb	30.2K	2015-12-08 12:44:59
libz3-dev_4.4.0-5_amd64.deb	5.07M	2015-12-08 12:44:58
libz3-java_4.4.0-5_all.deb	134.0K	2015-12-08 12:44:57
z3_4.4.0-5.debian.tar.xz	11.2K	2015-12-08 06:10:27
z3_4.4.0-5.dsc	2.1K	2015-12-08 06:10:27
z3_4.4.0.orig.tar.gz	3.30M	2015-06-18 23:23:48