Index of /pool/universe/c/cadical

[ICO]NameLast modifiedSize
[DIR]Parent Directory  -
[ ]cadical_1.7.4-1.debian.tar.xz15-Feb-2024 13:29 3.9K
[ ]cadical_1.7.4-1.dsc15-Feb-2024 13:29 1.9K
[ ]cadical_1.7.4.orig.tar.gz15-Feb-2024 13:29 633K
[ ]cadical_1.7.4-1_amd64.deb15-Feb-2024 13:30 454K
[ ]libcadical-dev_1.7.4-1_amd64.deb15-Feb-2024 13:30 376K
[ ]cadical_1.7.4-1_arm64.deb15-Feb-2024 13:31 432K
[ ]libcadical-dev_1.7.4-1_arm64.deb15-Feb-2024 13:31 374K
[ ]cadical_2.1.3.orig.tar.gz02-Dec-2025 09:17 714K
[ ]cadical_2.1.3-2.debian.tar.xz15-Dec-2025 18:22 4.5K
[ ]cadical_2.1.3-2.dsc15-Dec-2025 18:22 1.9K
[ ]cadical_2.1.3-2_amd64.deb15-Dec-2025 21:29 521K
[ ]libcadical-dev_2.1.3-2_amd64.deb15-Dec-2025 21:29 457K
[ ]cadical_2.1.3-2_amd64v3.deb15-Dec-2025 21:30 541K
[ ]libcadical-dev_2.1.3-2_amd64v3.deb15-Dec-2025 21:30 471K
[ ]libcadical-dev_2.1.3-2_arm64.deb15-Dec-2025 21:30 464K
[ ]cadical_2.1.3-2_arm64.deb15-Dec-2025 21:30 521K
[ ]cadical_2.1.3-3.debian.tar.xz15-May-2026 13:28 4.7K
[ ]cadical_2.1.3-3.dsc15-May-2026 13:28 2.0K
[ ]libcadical-dev_2.1.3-3_amd64.deb15-May-2026 14:15 467K
[ ]cadical_2.1.3-3_amd64.deb15-May-2026 14:15 519K
[ ]cadical_2.1.3-3_amd64v3.deb15-May-2026 14:15 536K
[ ]libcadical-dev_2.1.3-3_amd64v3.deb15-May-2026 14:15 482K
[ ]cadical_2.1.3-3_arm64.deb15-May-2026 14:34 514K
[ ]libcadical-dev_2.1.3-3_arm64.deb15-May-2026 14:34 473K