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

	Name	Last modified	Size	Description
	Parent Directory		-
	libcoq-equations_1.3-8.19-2_ppc64.deb	2024-08-04 12:03	1.1M
	libcoq-equations-dbgsym_1.3-8.19-2_ppc64.deb	2024-08-04 12:03	121K
	coq-equations_1.3-8.19-2_ppc64.buildinfo	2024-08-04 12:03	6.8K