Index of /debian/pool/main/i/infernal

	Name	Last modified	Size
	Parent Directory		-
	infernal-doc_1.1.4-1_all.deb	2020-12-11 18:44	876K
	infernal-doc_1.1.5-3_all.deb	2024-12-17 18:29	892K
	infernal_1.1.4-1_amd64.deb	2020-12-11 18:59	5.3M
	infernal_1.1.5-3_amd64.deb	2024-12-17 18:39	5.7M