Index of /pios/debian/pool/main/c/chktex

	Name	Last modified	Size	Description

	Parent Directory		-
	chktex_1.7.6-4_armhf.deb	2020-12-08 10:27	93K
	chktex_1.7.6-4_arm64.deb	2020-12-08 10:12	94K

Apache/2.4.62 (Debian) Server at repo.vitracom.net Port 80