coq

	Name	Size	Modified
	..	—	—
	coq-dbgsym_8.20.1+dfsg-1_loong64.deb	7 MB	Mon Sep 7 16:20:01 2026
	coq_8.20.1+dfsg-1.debian.tar.xz	29 KB	Mon Sep 22 17:24:17 2025
	coq_8.20.1+dfsg-1.dsc	2 KB	Mon Sep 22 17:24:16 2025
	coq_8.20.1+dfsg-1_loong64.deb	65 MB	Mon Sep 7 16:20:03 2026
	coq_8.20.1+dfsg.orig.tar.xz	4 MB	Mon Sep 22 17:24:17 2025
	coqide-dbgsym_8.20.1+dfsg-1_loong64.deb	547 KB	Mon Sep 7 16:20:03 2026
	coqide_8.20.1+dfsg-1_loong64.deb	1 MB	Mon Sep 7 16:20:03 2026
	libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1_loong64.deb	2 MB	Mon Sep 7 16:20:03 2026
	libcoq-core-ocaml-dev_8.20.1+dfsg-1_loong64.deb	69 MB	Mon Sep 7 16:20:04 2026
	libcoq-core-ocaml_8.20.1+dfsg-1_loong64.deb	25 MB	Mon Sep 7 16:20:05 2026
	libcoq-stdlib_8.20.1+dfsg-1_loong64.deb	22 MB	Mon Sep 7 16:20:05 2026