z3_4.8.12-3.1_amd64

Details

Artifact z3_4.8.12-3.1_amd64
Category debian:binary-package
Metadata
architecture: amd64
component: main
package: z3
priority: optional
section: science
srcpkg_name: z3
srcpkg_version: 4.8.12-3.1
version: 4.8.12-3.1
bookworm System _system 6 months, 1 week ago
BETA