Index of /debian/pool/main/p/plasma-disks

	Name	Last modified	Size

	Parent Directory		-
	plasma-disks_5.20.5-1_amd64.deb	2021-01-06 19:10	89K
	plasma-disks_5.27.5-2_amd64.deb	2023-05-27 21:29	122K

Apache/2.4.62 (Debian) Server at deb.dsi.ist.utl.pt Port 443