coq-mtac2

	Name	Size	Modified
	..	—	—
	coq-mtac2_1.4+8.19-2.debian.tar.xz	2 KB	Fri Nov 15 21:49:06 2024
	coq-mtac2_1.4+8.19-2.dsc	1 KB	Fri Nov 15 21:49:06 2024
	coq-mtac2_1.4+8.19.orig.tar.gz	246 KB	Fri Nov 15 21:49:06 2024
	libcoq-mtac2-dbgsym_1.4+8.19-2_loong64.deb	34 KB	Wed Oct 30 06:26:56 2024
	libcoq-mtac2_1.4+8.19-2_loong64.deb	790 KB	Wed Oct 30 06:26:59 2024