Index of /debian.org/debian-ports/pool-x32/main/c/cadical

	Name	Last modified	Size	Description
	Parent Directory		-
	cadical-dbgsym_2.1.3..>	2026-03-24 07:03	13M
	cadical_2.1.3-3_x32...>	2026-03-24 07:03	5.8K
	cadical_2.1.3-3_x32.deb	2026-03-24 07:03	458K
	libcadical-dev_2.1.3..>	2026-03-24 07:03	425K