coq-hott

	Name	Size	Modified
	..	—	—
	coq-hott_8.19-1.debian.tar.xz	2 KB	Fri Nov 15 21:48:46 2024
	coq-hott_8.19-1.dsc	1 KB	Fri Nov 15 21:48:46 2024
	coq-hott_8.19.orig.tar.gz	960 KB	Fri Nov 15 21:48:46 2024
	libcoq-hott_8.19-2_loong64.deb	13 MB	Wed Oct 30 06:05:59 2024