src:cvc5

Date: 2024-05-04 05:00:03

Crossbuild-dependencies unstable on amd64 (main only)

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