architecture: amd64 component: main package: libz3-4 priority: optional section: libs srcpkg_name: z3 srcpkg_version: 4.8.12-3.1 version: 4.8.12-3.1