Index of /debian/pool/main/p/prips

	Name	Last modified	Size
	Parent Directory		-
	prips_1.0.1-1_amd64.deb	2017-01-03 15:42	15K
	prips_1.1.1-2_amd64.deb	2019-02-27 18:43	16K
	prips_1.1.1-3+deb11u1_amd64.deb	2022-03-05 21:42	16K
	prips_1.2.0-1_amd64.deb	2021-12-19 02:10	17K