src:cvc4

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

Crossbuild-dependencies unstable on amd64 (main only)

packagesummary
cvc4 (= 1.8-5)unsatisfied dependency on antlr3