src:cvc4

Date: 2024-05-03 05:00:02

Crossbuild-dependencies unstable on amd64 (main only)

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