cvc4_1.8-3_amd64

Details

Artifact cvc4_1.8-3_amd64
Category debian:binary-package
Metadata
architecture: amd64
component: main
package: cvc4
priority: optional
section: math
srcpkg_name: cvc4
srcpkg_version: 1.8-3
version: 1.8-3
bookworm System _system 6 months, 2 weeks ago
BETA