Index of /debian-ports/pool-sparc64/main/c/cvc5

	Name	Last modified	Size	Description
	Parent Directory		-
	python3-cvc5_1.3.2-1+b2_sparc64.deb	2026-06-29 02:03	291K
	python3-cvc5-dbgsym_1.3.2-1+b2_sparc64.deb	2026-06-29 02:03	1.2M
	libcvc5parser1_1.3.2-1+b2_sparc64.deb	2026-06-29 02:03	201K
	libcvc5parser1-dbgsym_1.3.2-1+b2_sparc64.deb	2026-06-29 02:03	4.2M
	libcvc5-dev_1.3.2-1+b2_sparc64.deb	2026-06-29 02:03	121K
	libcvc5-1_1.3.2-1+b2_sparc64.deb	2026-06-29 02:03	6.0M
	libcvc5-1-dbgsym_1.3.2-1+b2_sparc64.deb	2026-06-29 02:03	192M
	cvc5_1.3.2-1+b2_sparc64.deb	2026-06-29 02:03	119K
	cvc5_1.3.2-1+b2_sparc64.buildinfo	2026-06-29 02:03	11K
	cvc5-dbgsym_1.3.2-1+b2_sparc64.deb	2026-06-29 02:03	2.0M
	python3-cvc5_1.3.2-1+b1_sparc64.deb	2026-04-23 20:03	288K
	python3-cvc5-dbgsym_1.3.2-1+b1_sparc64.deb	2026-04-23 20:03	1.2M
	libcvc5parser1_1.3.2-1+b1_sparc64.deb	2026-04-23 20:03	201K
	libcvc5parser1-dbgsym_1.3.2-1+b1_sparc64.deb	2026-04-23 20:03	4.2M
	libcvc5-dev_1.3.2-1+b1_sparc64.deb	2026-04-23 20:03	121K
	libcvc5-1_1.3.2-1+b1_sparc64.deb	2026-04-23 20:03	6.0M
	libcvc5-1-dbgsym_1.3.2-1+b1_sparc64.deb	2026-04-23 20:03	192M
	cvc5_1.3.2-1+b1_sparc64.deb	2026-04-23 20:03	119K
	cvc5_1.3.2-1+b1_sparc64.buildinfo	2026-04-23 20:03	11K
	cvc5-dbgsym_1.3.2-1+b1_sparc64.deb	2026-04-23 20:03	2.0M