Packages / openSUSE Leap 15.6 / Development/Languages/C and C++ / z3-devel

Package: z3-devel (4.12.2-bp156.1.6)

Development files for Z3

Development files for the Z3 library.

Other Packages Related to z3-devel:

dep: /usr/bin/pkg-config
Package not available
dep: [libz3-4_12] (= 4.12.2)
Bibliothek für den Z3-SMT-Theorembeweiser

Download z3-devel

Architecture	Package size	Installed size	Files	Package
aarch64	150 KiB	545 KiB	list of files	Download
ppc64le	150 KiB	545 KiB	list of files	Download
s390x	150 KiB	545 KiB	list of files	Download
x86_64	150 KiB	545 KiB	list of files	Download

Paketdateipfade (21)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

/usr/include/z3_algebraic.h
/usr/include/z3_api.h
/usr/include/z3_ast_containers.h
/usr/include/z3_fixedpoint.h
/usr/include/z3_fpa.h
/usr/include/z3.h
/usr/include/z3++.h
/usr/include/z3_macros.h
/usr/include/z3_optimization.h
/usr/include/z3_polynomial.h
/usr/include/z3_rcf.h
/usr/include/z3_spacer.h
/usr/include/z3_v1.h
/usr/include/z3_version.h
/usr/lib64/cmake/z3
/usr/lib64/cmake/z3/Z3Config.cmake
/usr/lib64/cmake/z3/Z3ConfigVersion.cmake
/usr/lib64/cmake/z3/Z3Targets.cmake
/usr/lib64/cmake/z3/Z3Targets-relwithdebinfo.cmake
/usr/lib64/libz3.so
/usr/lib64/pkgconfig/z3.pc

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Dieses Paket verwenden

OpenFactory kann dieses Betriebssystem in einer Browser-VM starten oder einen Image-Build mit dem nativen Paketnamen aus diesem Datensatz beginnen.

openSUSE Leap 15.6 im Browser testen Image mit z3-devel bauen

Versionen, Suiten und Repositories

Jede Zeile ist Paketindex-Metadaten für eine Version, Architektur, Suite und ein Repository. Namen, URLs und Größen stammen aus der Quelle; ein Link ist ein veränderbarer Abrufort, kein Weitergabanspruch von OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
4.12.2-bp156.1.6	leap-15.6 / oss	aarch64	openSUSE Leap 15.6 · OSS · multi-architecture	150 KiB	545 KiB	aarch64/z3-devel-4.12.2-bp156.1.6.aarch64.rpm
4.12.2-bp156.1.6	leap-15.6 / oss	ppc64le	openSUSE Leap 15.6 · OSS · multi-architecture	150 KiB	545 KiB	ppc64le/z3-devel-4.12.2-bp156.1.6.ppc64le.rpm
4.12.2-bp156.1.6	leap-15.6 / oss	s390x	openSUSE Leap 15.6 · OSS · multi-architecture	150 KiB	545 KiB	s390x/z3-devel-4.12.2-bp156.1.6.s390x.rpm
4.12.2-bp156.1.6	leap-15.6 / oss	x86_64	openSUSE Leap 15.6 · OSS · multi-architecture	150 KiB	545 KiB	x86_64/z3-devel-4.12.2-bp156.1.6.x86_64.rpm

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Prüfsummen und Beobachtungsdaten

For an APT source, signature verification authenticates the repository metadata chain and the Packages index containing this source-reported artifact digest. It does not certify package safety.

4.12.2-bp156.1.6 / aarch64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 8ff36dfe7d8bd7983421ac8312beab93027cbc5aa6c134b396c7b50aabcad5b8d2632d930e885a9d60d3d9475af523918eb3f12bba7d4a13f42cfa1e75891818

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

4.12.2-bp156.1.6 / ppc64leObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: e9a7d6c1a64c56b56a1024391febbda9032f351fbad55078d783a58791d34c537739f6249eba19293c2845b9bc34eb3175270b339f1e6d65794b92a90625123a

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

4.12.2-bp156.1.6 / s390xObserved Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 09a8b4ff439ef98da1c67ae6e91818fc254d47b2f2fbab523f3b7272bc540d243cdce3c65df00301d6a5e71ef97e09033e4f9dc92ebe8571444eb8a327891394

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

4.12.2-bp156.1.6 / x86_64Observed Sep 1, 2026 to Sep 1, 2026

Verification status: Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported sha512: 49d3bfd8a41c9c1096a573dabf457c9e9897546e4b08f8843339326751afe7434e1617cee7a1f4e157065736a2ecdeef6726b16d6c77d17df5ca538143801211

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230

Vollständigkeit des Katalogsatzes

The completeness score measures metadata coverage, not software quality, security, compatibility, or suitability.

Summary and description: 25/25
Artifact path and source digest: 25/25
Dependency metadata: 15/15
Package-file index: 15/15
Homepage: 5/5
License text: 5/5
Source package or maintainer: 10/10

Recorded total: 100/100

Field source: openSUSE Leap 15.6 OSS revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Quellen und Herkunft

Field-source links above resolve here. Each source entry names the metadata publisher, trust tier, exact snapshot revision, signature result, and observation time; catalog-derived mappings are labeled separately.

openSUSE Leap 15.6 OSSSep 1, 2026
Authoritative source; repository metadata signature verified, revision leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230
Signature verification covers the configured repository metadata chain. It does not certify that the package is safe or suitable.
Repository-signature verification record
Signed object
https://download.opensuse.org/distribution/leap/15.6/repo/oss/repodata/repomd.xml
Signed-object SHA-256
ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230
Signer fingerprint
AD485664E901B867051AB15F35A2F86E29B700A4
Keyring revision
opensuse-project-signing-key.asc
SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Signed Release → package-index hash linkage
Path: Not recorded
Expected SHA-256: Not recorded
Observed SHA-256: Not recorded
Result: match verified