Index of /pub/linux/ubuntu/pool/universe/p/praelector

	Name	Last modified	Size	Description
	Parent Directory		-
	praelector_0.5-2_amd64.deb	2023-02-22 08:34	1.8M
	praelector_0.5-2ubuntu2_amd64.deb	2024-04-01 19:32	1.8M