cvc5

	Name	Size	Modified
	..	—	—
	cvc5-dbgsym_1.1.2-2_loong64.deb	1 MB	Mon Sep 22 17:33:47 2025
	cvc5_1.1.2-2.debian.tar.xz	7 KB	Mon Sep 22 17:33:42 2025
	cvc5_1.1.2-2.dsc	1 KB	Mon Sep 22 17:33:47 2025
	cvc5_1.1.2-2_loong64.deb	97 KB	Mon Sep 22 17:33:42 2025
	cvc5_1.1.2.orig.tar.gz	8 MB	Mon Sep 22 17:33:41 2025
	libcvc5-1-dbgsym_1.1.2-2_loong64.deb	172 MB	Mon Sep 22 17:33:47 2025
	libcvc5-1_1.1.2-2_loong64.deb	5 MB	Mon Sep 22 17:33:42 2025
	libcvc5-dev_1.1.2-2_loong64.deb	90 KB	Mon Sep 22 17:33:42 2025
	libcvc5parser1-dbgsym_1.1.2-2_loong64.deb	3 MB	Mon Sep 22 17:33:41 2025
	libcvc5parser1_1.1.2-2_loong64.deb	213 KB	Mon Sep 22 17:33:41 2025
	python3-cvc5-dbgsym_1.1.2-2_loong64.deb	2 MB	Mon Sep 22 17:33:42 2025
	python3-cvc5_1.1.2-2_loong64.deb	293 KB	Mon Sep 22 17:33:41 2025