Index of /debian/pool/main/g/gitlint

	Name	Last modified	Size
	Parent Directory		-
	gitlint_0.15.0-1_all.deb	25-Jan-2021 15:12	53K
	gitlint_0.18.0-2_all.deb	30-Jan-2023 18:14	60K
	gitlint_0.19.1-5_all.deb	19-Mar-2025 21:14	47K