Index of /pool/main/p/patch

	Name	Last modified	Size
	Parent Directory		-
	patch_2.7.6-3+deb10u1.debian.tar.xz	2019-07-27 15:40	13K
	patch_2.7.6-3+deb10u1.dsc	2019-07-27 15:40	1.7K
	patch_2.7.6-3+deb10u1_armhf.deb	2019-07-28 06:08	113K
	patch_2.7.6.orig.tar.xz	2018-02-14 21:03	765K