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

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