Index of /pub/Linux/kali/pool/main/c/cvc5

	Name	Last modified	Size	Description
	Parent Directory		-
	cvc5_1.1.2-3.debian.tar.xz	2025-07-27 21:11	7.2K
	cvc5_1.1.2-3.dsc	2025-07-27 21:11	2.4K
	cvc5_1.1.2-3_amd64.deb	2025-08-11 22:32	105K
	cvc5_1.1.2-3_arm64.deb	2025-08-11 22:44	95K
	cvc5_1.1.2-3_armhf.deb	2025-08-11 22:39	98K
	cvc5_1.1.2-3_i386.deb	2025-08-11 22:39	109K
	cvc5_1.1.2.orig.tar.gz	2024-03-03 11:53	8.2M
	libcvc5-1_1.1.2-3_amd64.deb	2025-08-11 22:32	6.4M
	libcvc5-1_1.1.2-3_arm64.deb	2025-08-11 22:44	5.4M
	libcvc5-1_1.1.2-3_armhf.deb	2025-08-11 22:39	5.4M
	libcvc5-1_1.1.2-3_i386.deb	2025-08-11 22:39	6.9M
	libcvc5-dev_1.1.2-3_amd64.deb	2025-08-11 22:32	91K
	libcvc5-dev_1.1.2-3_arm64.deb	2025-08-11 22:44	91K
	libcvc5-dev_1.1.2-3_armhf.deb	2025-08-11 22:39	91K
	libcvc5-dev_1.1.2-3_i386.deb	2025-08-11 22:39	91K
	libcvc5parser1_1.1.2-3_amd64.deb	2025-08-11 22:32	232K
	libcvc5parser1_1.1.2-3_arm64.deb	2025-08-11 22:44	203K
	libcvc5parser1_1.1.2-3_armhf.deb	2025-08-11 22:39	204K
	libcvc5parser1_1.1.2-3_i386.deb	2025-08-11 22:39	253K
	python3-cvc5_1.1.2-3_amd64.deb	2025-08-11 22:32	333K
	python3-cvc5_1.1.2-3_arm64.deb	2025-08-11 22:44	291K
	python3-cvc5_1.1.2-3_armhf.deb	2025-08-11 22:39	310K
	python3-cvc5_1.1.2-3_i386.deb	2025-08-11 22:39	317K