Index of /mirrors/debian/pool/main/c/cvc5

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc5_1.0.3-1.debian.tar.xz	2022-12-20 04:26	5.8K
	cvc5_1.0.3-1.dsc	2022-12-20 04:26	2.3K
	cvc5_1.0.3-1_amd64.deb	2022-12-20 06:55	105K
	cvc5_1.0.3-1_arm64.deb	2022-12-20 06:29	95K
	cvc5_1.0.3.orig.tar.gz	2022-12-20 04:26	7.9M
	cvc5_1.0.5-3.debian.tar.xz	2023-06-23 22:03	6.9K
	cvc5_1.0.5-3.dsc	2023-06-23 22:03	2.4K
	cvc5_1.0.5-3_amd64.deb	2023-06-23 23:29	98K
	cvc5_1.0.5-3_arm64.deb	2023-06-24 00:12	86K
	cvc5_1.0.5-3_riscv64.deb	2023-09-07 08:09	92K
	cvc5_1.0.5.orig.tar.gz	2023-06-20 19:12	8.0M
	libcvc5-1_1.0.3-1_amd64.deb	2022-12-20 06:55	5.6M
	libcvc5-1_1.0.3-1_arm64.deb	2022-12-20 06:29	4.7M
	libcvc5-1_1.0.5-3_amd64.deb	2023-06-23 23:29	5.6M
	libcvc5-1_1.0.5-3_arm64.deb	2023-06-24 00:12	4.8M
	libcvc5-1_1.0.5-3_riscv64.deb	2023-09-07 08:09	5.9M
	libcvc5-dev_1.0.3-1_amd64.deb	2022-12-20 06:55	57K
	libcvc5-dev_1.0.3-1_arm64.deb	2022-12-20 06:29	57K
	libcvc5-dev_1.0.5-3_amd64.deb	2023-06-23 23:29	59K
	libcvc5-dev_1.0.5-3_arm64.deb	2023-06-24 00:12	59K
	libcvc5-dev_1.0.5-3_riscv64.deb	2023-09-07 08:09	59K
	libcvc5parser1_1.0.3-1_amd64.deb	2022-12-20 06:55	300K
	libcvc5parser1_1.0.3-1_arm64.deb	2022-12-20 06:29	267K
	libcvc5parser1_1.0.5-3_amd64.deb	2023-06-23 23:29	359K
	libcvc5parser1_1.0.5-3_arm64.deb	2023-06-24 00:12	312K
	libcvc5parser1_1.0.5-3_riscv64.deb	2023-09-07 08:09	349K
	python3-cvc5_1.0.5-3_amd64.deb	2023-06-23 23:29	222K
	python3-cvc5_1.0.5-3_arm64.deb	2023-06-24 00:12	195K
	python3-cvc5_1.0.5-3_riscv64.deb	2023-09-07 08:09	217K