openSUSE Leap 16.0 native package

clingo-devel

Development files for clingo

Packages / openSUSE Leap 16.0 / Development/Tools/Other / clingo-devel

[Source: clingo]

Package: clingo-devel (5.6.2-bp160.1.3)

External Resources:

Homepage: [potassco.org]

Similar packages:

[clingo]
A grounder and solver for logic programs
[libclingo4]
Libraries file(s) for clingo
[lua-clingo]
Lua bindings for Clingo
[python3-clingo]
Python 3 bindings for Clingo

Development files for clingo

The clingo-devel package contains libraries and header files for developing applications that use clingo.

Other Packages Related to clingo-devel:

dep: [clingo] (= 5.6.2-bp160.1.3)
A grounder and solver for logic programs
dep: [libclingo4] (= 5.6.2-bp160.1.3)
Libraries file(s) for clingo

Download clingo-devel

Architecture	Package Size	Installed Size	Files
aarch64	60 KiB	350 KiB	[list of files]
ppc64le	60 KiB	350 KiB	[list of files]
s390x	60 KiB	350 KiB	[list of files]
x86_64	60 KiB	350 KiB	[list of files]

Package file paths (8)

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/clingo.h
/usr/include/clingo.hh
/usr/lib64/cmake/Clingo
/usr/lib64/cmake/Clingo/ClingoConfig.cmake
/usr/lib64/cmake/Clingo/ClingoConfigVersion.cmake
/usr/lib64/cmake/Clingo/ClingoTargets.cmake
/usr/lib64/cmake/Clingo/ClingoTargets-release.cmake
/usr/lib64/libclingo.so

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try openSUSE Leap 16.0 in the browser Build an image that includes clingo-devel

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
5.6.2-bp160.1.3	leap-16.0 / oss	aarch64	openSUSE Leap 16.0 · OSS · multi-architecture	60 KiB	350 KiB	aarch64/clingo-devel-5.6.2-bp160.1.3.aarch64.rpm
5.6.2-bp160.1.3	leap-16.0 / oss	ppc64le	openSUSE Leap 16.0 · OSS · multi-architecture	60 KiB	350 KiB	ppc64le/clingo-devel-5.6.2-bp160.1.3.ppc64le.rpm
5.6.2-bp160.1.3	leap-16.0 / oss	s390x	openSUSE Leap 16.0 · OSS · multi-architecture	60 KiB	350 KiB	s390x/clingo-devel-5.6.2-bp160.1.3.s390x.rpm
5.6.2-bp160.1.3	leap-16.0 / oss	x86_64	openSUSE Leap 16.0 · OSS · multi-architecture	60 KiB	350 KiB	x86_64/clingo-devel-5.6.2-bp160.1.3.x86_64.rpm

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Checksums and observation dates

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.

5.6.2-bp160.1.3 / 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: 4c5a16acf7ae8a8a58ba9ecd71bd338f0b4f3350476ab6da7a9f902a358e29929309c652bdddafa3e712976cb1cf3496db5576db4a253febcfe288496a3cc68a

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

5.6.2-bp160.1.3 / 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: 30eb65f0c9608275a53d0aa85d8147f84632c36e1316747d0aefa77d17b02757716a6da52e58970629656485b6f826a8532569d6a755dc8d881f7dffb50e3cb3

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

5.6.2-bp160.1.3 / 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: 8bdf0c0c204b059a7b405985253563d0302146ebe75ca0618bfb548dc74f42fa3d426dcf210a7cebee9ea5148eb42577ffd17f9c216ccc94094300dc22827651

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

5.6.2-bp160.1.3 / 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: 7a5dc6f943de2141e9890349e107e88f5d5f308519ca4b04cba4024860c897c9d69075f5f44e9aee1e613ec979b5f9f7e7227b3db9ea45f88dd52a67eab14f2f

Field source: openSUSE Leap 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c

Catalog record completeness

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 16.0 OSS revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Sources and provenance

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 16.0 OSSSep 1, 2026
Authoritative source; repository metadata signature verified, revision leap-16-0-oss-multiarch:271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
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/16.0/repo/oss/repodata/repomd.xml
Signed-object SHA-256
271b36d440253edf9871ac0c100319fc7443d8f2d54b6b449a72e9414c51577c
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