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

	Name	Last modified	Size	Description
	Parent Directory		-
	python3-cvc5_1.3.2-1..>	2025-12-23 17:49	365K
	python3-cvc5_1.3.2-1..>	2025-12-23 17:54	344K
	python3-cvc5_1.3.2-1..>	2025-12-23 17:54	315K
	python3-cvc5_1.3.2-1..>	2025-12-23 17:49	376K
	libcvc5parser1_1.3.2..>	2025-12-23 17:49	287K
	libcvc5parser1_1.3.2..>	2025-12-23 17:54	234K
	libcvc5parser1_1.3.2..>	2025-12-23 17:54	232K
	libcvc5parser1_1.3.2..>	2025-12-23 17:49	267K
	libcvc5-dev_1.3.2-1_..>	2025-12-23 17:49	121K
	libcvc5-dev_1.3.2-1_..>	2025-12-23 17:54	121K
	libcvc5-dev_1.3.2-1_..>	2025-12-23 17:54	121K
	libcvc5-dev_1.3.2-1_..>	2025-12-23 17:49	121K
	libcvc5-1_1.3.2-1_i3..>	2025-12-23 17:49	8.0M
	libcvc5-1_1.3.2-1_ar..>	2025-12-23 17:54	6.2M
	libcvc5-1_1.3.2-1_ar..>	2025-12-23 17:54	6.3M
	libcvc5-1_1.3.2-1_am..>	2025-12-23 17:49	7.4M
	cvc5_1.3.2.orig.tar.gz	2025-12-23 17:13	8.8M
	cvc5_1.3.2-1_i386.deb	2025-12-23 17:49	142K
	cvc5_1.3.2-1_armhf.deb	2025-12-23 17:54	129K
	cvc5_1.3.2-1_arm64.deb	2025-12-23 17:54	126K
	cvc5_1.3.2-1_amd64.deb	2025-12-23 17:49	140K
	cvc5_1.3.2-1.dsc	2025-12-23 17:13	2.4K
	cvc5_1.3.2-1.debian...>	2025-12-23 17:13	8.3K