Index of /deb.debian.org/debian/pool/main/m/microprofile

	Name	Last modified	Size	Description
	Parent Directory		-
	libmicroprofile-dev_..>	2024-10-29 05:25	1.1M
	libmicroprofile-dev_..>	2022-12-28 18:14	1.1M
	libmicroprofile4_4.0..>	2024-10-29 05:25	115K