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

	Name	Last modified	Size	Description
	Parent Directory		-
	libz3-4_4.8.12-3.1build1_arm64.deb	2024-04-22 12:45	5.2M
	libz3-4_4.8.12-3.1build1_armhf.deb	2024-04-22 12:45	6.8M
	libz3-cil_4.4.0-5_armhf.deb	2015-12-08 12:45	39K
	libz3-dev_4.4.0-5_armhf.deb	2015-12-08 12:45	4.2M
	libz3-dev_4.8.12-3.1build1_arm64.deb	2024-04-22 12:45	71K
	libz3-dev_4.8.12-3.1build1_armhf.deb	2024-04-22 12:45	71K
	libz3-java_4.4.0-5_all.deb	2015-12-08 12:44	134K
	libz3-java_4.8.12-3.1build1_arm64.deb	2024-04-22 12:45	159K
	libz3-java_4.8.12-3.1build1_armhf.deb	2024-04-22 12:45	159K
	libz3-jni_4.4.0-5_armhf.deb	2015-12-08 12:45	28K
	libz3-jni_4.8.12-3.1build1_arm64.deb	2024-04-22 12:45	35K
	libz3-jni_4.8.12-3.1build1_armhf.deb	2024-04-22 12:45	33K
	libz3-ocaml-dev_4.4.0-5_armhf.deb	2015-12-08 12:45	446K
	python-z3_4.4.0-5_armhf.deb	2015-12-08 12:45	65K
	python3-z3_4.8.12-3.1build1_arm64.deb	2024-04-22 12:45	78K
	python3-z3_4.8.12-3.1build1_armhf.deb	2024-04-22 12:45	78K
	z3_4.4.0-5_armhf.deb	2015-12-08 12:45	4.2M
	z3_4.8.12-3.1build1.debian.tar.xz	2024-04-22 11:47	10K
	z3_4.8.12-3.1build1.dsc	2024-04-22 11:47	2.7K
	z3_4.8.12-3.1build1_arm64.deb	2024-04-22 12:45	5.3M
	z3_4.8.12-3.1build1_armhf.deb	2024-04-22 12:45	6.8M
	z3_4.8.12.orig.tar.gz	2021-09-15 11:19	4.6M