Index of /pool/PHP_8.0.19_96

	Name	Last modified	Size	Description
	Parent Directory		-
	dist-deb-Debian-9.0-..>	2022-05-24 09:52	-
	dist-deb-Debian-10.0..>	2022-05-24 09:52	-
	dist-deb-Debian-11.0..>	2022-05-24 09:52	-
	dist-deb-Ubuntu-18.0..>	2022-05-24 09:52	-
	dist-deb-Ubuntu-20.0..>	2022-05-24 09:52	-
	dist-deb-Ubuntu-20.0..>	2022-05-24 09:52	-
	dist-deb-Ubuntu-22.0..>	2022-05-24 09:52	-
	dist-rpm-CentOS-7-x8..>	2022-05-24 09:52	-
	dist-rpm-CentOS-8-x8..>	2022-05-24 09:52	-
	dist-rpm-RedHat-el8-..>	2022-05-24 09:52	-
	dists/	2022-05-24 09:52	-
	php80-cos7-x86_64.inf3	2022-05-13 13:30	7.8K
	php80-deb9.0-x86_64...>	2022-05-13 13:30	7.4K
	php80-deb10.0-x86_64..>	2022-05-13 13:30	7.5K
	php80-deb11.0-x86_64..>	2022-05-13 13:30	7.5K
	php80-rhel8-x86_64.inf3	2022-05-13 13:30	7.9K
	php80-ubt18.04-x86_6..>	2022-05-13 13:30	7.6K
	php80-ubt20.04-aarch..>	2022-05-13 13:36	7.6K
	php80-ubt20.04-x86_6..>	2022-05-13 13:30	7.6K
	php80-ubt22.04-x86_6..>	2022-05-13 13:30	7.6K
	release.inf3	2022-05-13 13:36	2.1K
	thirdparty-deb-Debia..>	2022-05-16 09:55	-
	thirdparty-deb-Debia..>	2022-05-16 09:55	-
	thirdparty-deb-Debia..>	2022-05-16 09:55	-
	thirdparty-deb-Ubunt..>	2022-05-16 09:55	-
	thirdparty-deb-Ubunt..>	2022-05-16 09:55	-
	thirdparty-deb-Ubunt..>	2022-05-16 09:55	-
	thirdparty-deb-Ubunt..>	2022-05-16 09:55	-
	thirdparty-rpm-CentO..>	2022-05-24 09:52	-
	thirdparty-rpm-CentO..>	2022-05-16 09:58	-
	thirdparty-rpm-RedHa..>	2022-05-24 09:52	-
	update-deb-Debian-9...>	2022-05-16 09:55	-
	update-deb-Debian-10..>	2022-05-16 09:55	-
	update-deb-Debian-11..>	2022-05-16 09:55	-
	update-deb-Ubuntu-18..>	2022-05-16 09:55	-
	update-deb-Ubuntu-20..>	2022-05-16 09:55	-
	update-deb-Ubuntu-20..>	2022-05-16 09:55	-
	update-deb-Ubuntu-22..>	2022-05-16 09:55	-
	update-rpm-CentOS-7-..>	2022-05-24 09:52	-
	update-rpm-CentOS-8-..>	2022-05-16 09:58	-
	update-rpm-RedHat-el..>	2022-05-24 09:52	-