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

	Name	Last modified	Size	Description
	Parent Directory		-
	praelector_0.5-1buil..>	2020-03-23 00:09	5.4K
	praelector_0.5-1buil..>	2020-03-23 00:09	1.9K
	praelector_0.5-1buil..>	2020-03-23 01:04	1.8M
	praelector_0.5.orig...>	2018-11-23 10:00	1.6M