src:cadical

Date: 2024-06-25 05:00:05

Build-dependencies testing (main only)

packagesummary
cadical (= 1.7.4-1)unsatisfied dependency on libgcc-s1