Index of /debian-ports/pool-ppc64/main/c/coq-unicoq

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-unicoq_1.6-8.19-2_ppc64.deb	2024-08-04 06:03	85K
	libcoq-unicoq-dbgsym_1.6-8.19-2_ppc64.deb	2024-08-04 06:03	20K
	coq-unicoq_1.6-8.19-2_ppc64.buildinfo	2024-08-04 06:03	6.7K