z3_4.8.12-3.1_arm64

Details

Artifact z3_4.8.12-3.1_arm64
Category debian:binary-package
Metadata
architecture: arm64
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