coqeal

	Name	Size	Modified
	..	—	—
	coqeal_2.1.0-1.debian.tar.xz	2 KB	Mon Sep 22 17:36:05 2025
	coqeal_2.1.0-1.dsc	2 KB	Mon Sep 22 17:36:05 2025
	coqeal_2.1.0.orig.tar.gz	221 KB	Mon Sep 22 17:36:05 2025
	libcoq-coqeal_2.1.0-1_loong64.deb	5 MB	Tue Sep 8 20:50:04 2026