Index of /archive/pool/universe/c/cadical
Name Last modified Size Description
Parent Directory -
cadical_1.7.4-1.debi..> 2024-02-15 07:29 3.9K tar archive
cadical_1.7.4-1.dsc 2024-02-15 07:29 1.9K
cadical_1.7.4-1_amd6..> 2024-02-15 07:30 454K
cadical_1.7.4.orig.t..> 2024-02-15 07:29 633K GZIP compressed docume>
cadical_2.1.3-1.debi..> 2025-12-02 03:17 4.0K tar archive
cadical_2.1.3-1.dsc 2025-12-02 03:17 1.9K
cadical_2.1.3-1_amd6..> 2025-12-02 03:17 521K
cadical_2.1.3-1_amd6..> 2025-12-02 03:17 541K
cadical_2.1.3.orig.t..> 2025-12-02 03:17 714K GZIP compressed docume>
libcadical-dev_1.7.4..> 2024-02-15 07:30 376K
libcadical-dev_2.1.3..> 2025-12-02 03:17 457K
libcadical-dev_2.1.3..> 2025-12-02 03:17 471K