Index of /debian/pool/main/a/aladin

	Name	Last modified	Size
	Parent Directory		-
	aladin_11.024+dfsg2-1_all.deb	02-Jul-2020 09:43	4.4M
	aladin_12.001+dfsg-1_all.deb	27-Sep-2022 20:03	4.6M
	aladin_12.060+dfsg-3_all.deb	13-Dec-2023 16:10	4.8M