cvc4

	Name	Size	Modified
	..	—	—
	cvc4-dbgsym_1.8-3_loong64.deb	977 KB	Mon Sep 22 17:29:08 2025
	cvc4_1.8-3.debian.tar.xz	16 KB	Mon Sep 22 17:29:15 2025
	cvc4_1.8-3.dsc	1 KB	Mon Sep 22 17:29:15 2025
	cvc4_1.8-3_loong64.deb	75 KB	Mon Sep 22 17:29:15 2025
	cvc4_1.8.orig.tar.gz	7 MB	Mon Sep 22 17:29:08 2025
	libcvc4-7-dbgsym_1.8-3_loong64.deb	193 MB	Mon Sep 22 17:29:14 2025
	libcvc4-7_1.8-3_loong64.deb	5 MB	Mon Sep 22 17:29:15 2025
	libcvc4-dev_1.8-3_loong64.deb	128 KB	Mon Sep 22 17:29:08 2025
	libcvc4parser7-dbgsym_1.8-3_loong64.deb	5 MB	Mon Sep 22 17:29:09 2025
	libcvc4parser7_1.8-3_loong64.deb	342 KB	Mon Sep 22 17:29:09 2025