src:cvc5

Date: 2025-12-11 05:00:02

Crossbuild-dependencies unstable on amd64 (main only)

packagesummary
cvc5 (= 1.1.2-3)unsatisfied dependency on cxxtest