Fedora 44 native package

clingo

Un grounder et un solveur pour les programmes logiques

Packages / Fedora 44 / Unspecified / clingo

[Source: clingo]

Package: clingo (5.8.2-1.fc44)

[Project overview: clingo]

External Resources:

Homepage: [potassco.org]

Similar packages:

[clingo-devel]
Fichiers de développement pour clingo
[lua-clingo]
Liaisons Lua pour Clingo
[python3-clingo]
Liaisons Python 3 pour Clingo

Un grounder et un solveur pour les programmes logiques

Clingo fait partie du projet Potassco pour l'Answer Set Programming (ASP). ASP offre un langage de modélisation simple et puissant pour décrire des problèmes combinatoires sous forme de programmes logiques. Le système clingo prend ensuite un tel programme logique et calcule des ensembles de réponses représentant des solutions au problème donné.

Other Packages Related to clingo:

dep: ld-linux-aarch64.so.1()(64bit)
Package not available
dep: ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
Package not available
dep: libgcc_s.so.1()(64bit)
Package not available
dep: libgcc_s.so.1(GCC_3.0)(64bit)
Package not available
dep: libgcc_s.so.1(GCC_3.3.1)(64bit)
Package not available
dep: liblua-5.4.so()(64bit)
Package not available
dep: libm.so.6()(64bit)
Package not available
dep: libm.so.6(GLIBC_2.17)(64bit)
Package not available
dep: libm.so.6(GLIBC_2.29)(64bit)
Package not available
dep: libpython3.14.so.1.0()(64bit)
Package not available
dep: libstdc++.so.6()(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.1)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.11)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.13)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.15)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.3)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.5)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.7)(64bit)
Package not available
dep: libstdc++.so.6(CXXABI_1.3.9)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.15)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.17)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.18)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.19)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.22)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.26)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.30)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
Package not available
dep: libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
Package not available
dep: rtld(GNU_HASH)
Package not available
dep: libc.so.6(GLIBC_2.38)(64bit)
Package not available

Download clingo

Architecture	Package Size	Installed Size	Files
aarch64	1.7 MiB	5.7 MiB	[list of files]
i686	2.0 MiB	6.1 MiB	[list of files]
x86_64	1.8 MiB	5.9 MiB	[list of files]

Chemins de fichiers du paquet (85)

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/bin/clasp
/usr/bin/clingo
/usr/bin/gringo
/usr/bin/lpconvert
/usr/bin/reify
/usr/lib64/libclingo.so.4
/usr/lib64/libclingo.so.4.0
/usr/lib/.build-id
/usr/lib/.build-id/03
/usr/lib/.build-id/03/5d768b71effe788f0d58d8c74325a45edabc64
/usr/lib/.build-id/0b
/usr/lib/.build-id/0b/1f81a1d35a0b7e2166d04968fb21585342ced0
/usr/lib/.build-id/1a
/usr/lib/.build-id/1a/878c0fba0bf71308090e6f90dec1045888a2ab
/usr/lib/.build-id/1d
/usr/lib/.build-id/1d/b9464e97d10ccaa567e071b503e569c4c5fdbe
/usr/lib/.build-id/23
/usr/lib/.build-id/23/026982312d727665a21107fc1b6ef2b6dbcd1b
/usr/lib/.build-id/2a
/usr/lib/.build-id/2a/dbf85e924e8a78a3c8f3bd66034ac52f26eb55
/usr/lib/.build-id/2c
/usr/lib/.build-id/2c/0b222fc59c21ad4c73026a1654051b4810bf2e
/usr/lib/.build-id/36
/usr/lib/.build-id/36/bccdbe04261ac0ea0e36ba8576a84b5c407926
/usr/lib/.build-id/3b
/usr/lib/.build-id/3b/64280ad5d56d2f4b288a6117af5540178a0337
/usr/lib/.build-id/46
/usr/lib/.build-id/46/8c69c1dcca7ecc76f6183b0f52dc66bbb9e33d
/usr/lib/.build-id/48
/usr/lib/.build-id/48/bddbd5a3eae58fadde645453d1819609d54772
/usr/lib/.build-id/4d
/usr/lib/.build-id/4d/cba5f21e45caee851a9b000cfb0118a4180384
/usr/lib/.build-id/50
/usr/lib/.build-id/50/af65790c17f68b8b7754a9b5c14a1349b2e513
/usr/lib/.build-id/50/bebcf3e5bc3ae9eeb2d15bcc722d258410be3f
/usr/lib/.build-id/57
/usr/lib/.build-id/57/3d505837e186d68312e9c47735b395c839898b
/usr/lib/.build-id/65
/usr/lib/.build-id/65/1e531ed972be987d87fbe2319653c3e342267a
/usr/lib/.build-id/67
/usr/lib/.build-id/67/046897f7b604d0017f97640e7964eac2ccf1a5
/usr/lib/.build-id/79
/usr/lib/.build-id/79/2feaaa34bbac073e92ac8fb586ed40bee9dd96
/usr/lib/.build-id/7e
/usr/lib/.build-id/7e/5a125a0b538432f68201e16a234c00df1956e9
/usr/lib/.build-id/81
/usr/lib/.build-id/81/2dec3c111575a68e3b875ca22e59911b0ce19d
/usr/lib/.build-id/87
/usr/lib/.build-id/87/ed79d67455831429afeb2fab1a519f1f5557c3
/usr/lib/.build-id/8a
/usr/lib/.build-id/8a/d1a6bc130337e2b21290a21cca5e7988f486a6
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/135a0d630e78b0371ca95b88d5441844896518
/usr/lib/.build-id/9f
/usr/lib/.build-id/9f/2494e26e480139c0398b52bafa89a84b54912f
/usr/lib/.build-id/a1
/usr/lib/.build-id/a1/3a30df786a98a9083bf1e42c2f341717613ca1
/usr/lib/.build-id/b0
/usr/lib/.build-id/b0/8089ba0e310f29a3efdbb3b8843c49306e7929
/usr/lib/.build-id/b5
/usr/lib/.build-id/b5/786b40a2fea42ae151885b75e4113f76806f25
/usr/lib/.build-id/b6
/usr/lib/.build-id/b6/1ca227b54c670616d2c4859fefc0e7676eb253
/usr/lib/.build-id/b7
/usr/lib/.build-id/b7/6e250f4c7f582584f446bd75a9deb20d233d64
/usr/lib/.build-id/c0
/usr/lib/.build-id/c0/53fe8fc0410c2d17717c088eaf5f2407ed072a
/usr/lib/.build-id/c9
/usr/lib/.build-id/c9/80dea84e5c211d17b72060942f479393d4053d
/usr/lib/.build-id/d5
/usr/lib/.build-id/d5/2b1c23dc57f18c76a3745bc932748bd12e1e9c
/usr/lib/.build-id/ec
/usr/lib/.build-id/ec/22ef15acef9ed37e3265e9e8b1f2b4079c23c5
/usr/lib/.build-id/f3
/usr/lib/.build-id/f3/6f352014a59ec5bd448f03bb86c7ddb34a0b9b
/usr/lib/.build-id/f9
/usr/lib/.build-id/f9/b64104ca3bc6061ed6fc25a9637333b9aac664
/usr/lib/.build-id/f9/ffcaee73b701697e8cb2a4eff50a639de5e769
/usr/lib/libclingo.so.4
/usr/lib/libclingo.so.4.0
/usr/share/doc/clingo
/usr/share/doc/clingo/INSTALL.md
/usr/share/doc/clingo/README.md
/usr/share/licenses/clingo
/usr/share/licenses/clingo/LICENSE.md

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

Utiliser ce paquet

OpenFactory peut démarrer ce système d'exploitation dans une machine virtuelle du navigateur, ou lancer une construction qui inclut le nom natif du paquet de cet enregistrement.

Essayer Fedora 44 dans le navigateur Construire une image qui inclut clingo

Versions, suites et dépôts

Chaque ligne est une métadonnée d'index pour une version, une architecture, une suite et un dépôt. Noms, URL et tailles viennent de la source ; un lien est un emplacement de récupération mutable, pas une redistribution OpenFactory.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
5.8.2-1.fc44	44 / updates	aarch64	Fedora 44 · updates · aarch64	1.7 MiB	5.7 MiB	Packages/c/clingo-5.8.2-1.fc44.aarch64.rpm
5.8.2-1.fc44	44 / updates	i686	Fedora 44 · updates · x86_64	2.0 MiB	6.1 MiB	Packages/c/clingo-5.8.2-1.fc44.i686.rpm
5.8.2-1.fc44	44 / updates	x86_64	Fedora 44 · updates · x86_64	1.8 MiB	5.9 MiB	Packages/c/clingo-5.8.2-1.fc44.x86_64.rpm
5.8.0-7.fc44	44 / everything	aarch64	Fedora 44 · Everything · aarch64	1.7 MiB	5.7 MiB	Packages/c/clingo-5.8.0-7.fc44.aarch64.rpm
5.8.0-7.fc44	44 / everything	i686	Fedora 44 · Everything · x86_64	2.0 MiB	6.1 MiB	Packages/c/clingo-5.8.0-7.fc44.i686.rpm
5.8.0-7.fc44	44 / everything	x86_64	Fedora 44 · Everything · x86_64	1.8 MiB	5.9 MiB	Packages/c/clingo-5.8.0-7.fc44.x86_64.rpm

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

Empreintes et dates d'observation

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.8.2-1.fc44 / 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 sha256: be5ac588aad635b8b583eeca2c37795e28752789a1103df8cbb7b85f148ffc2f

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'be5ac588aad635b8b583eeca2c37795e28752789a1103df8cbb7b85f148ffc2f' 'clingo-5.8.2-1.fc44.aarch64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b

5.8.2-1.fc44 / i686Observed 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 sha256: 030582278f7f1680e263100fc6de9c74e3206995da911b96d188c82a6f3d4a24

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '030582278f7f1680e263100fc6de9c74e3206995da911b96d188c82a6f3d4a24' 'clingo-5.8.2-1.fc44.i686.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

5.8.2-1.fc44 / 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 sha256: b620fc881d16137a2df218e89e0d6fd7ba9daf85381559c6230eb299327b1f04

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'b620fc881d16137a2df218e89e0d6fd7ba9daf85381559c6230eb299327b1f04' 'clingo-5.8.2-1.fc44.x86_64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419

5.8.0-7.fc44 / 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 sha256: 2ada8b5441a1e63d16c7d558a2b524ff83c53f78f036c204d84a31643e96b755

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '2ada8b5441a1e63d16c7d558a2b524ff83c53f78f036c204d84a31643e96b755' 'clingo-5.8.0-7.fc44.aarch64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee

5.8.0-7.fc44 / i686Observed 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 sha256: 23fe12032c0bf3bbe46aaef89460272715e65e63a38fd900ff3ff533c5317367

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' '23fe12032c0bf3bbe46aaef89460272715e65e63a38fd900ff3ff533c5317367' 'clingo-5.8.0-7.fc44.i686.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

5.8.0-7.fc44 / 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 sha256: e2f2421ca5d9be773d6fd01d72267fa17b22d29f7fbf65ec4f211be0cae00d16

After downloading that exact artifact, compare its bytes with the source-reported expected digest:

printf '%s  %s\n' 'e2f2421ca5d9be773d6fd01d72267fa17b22d29f7fbf65ec4f211be0cae00d16' 'clingo-5.8.0-7.fc44.x86_64.rpm' | sha256sum --check --strict -

A match establishes equality with the repository metadata value. It does not establish safety or catalog-side artifact retrieval.

Field source: Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991

Complétude de la fiche

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: Fedora 44 Everything aarch64 revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee, Fedora 44 Everything x86_64 revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991, Fedora 44 updates aarch64 revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b, Fedora 44 updates x86_64 revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419. The cross-OS mapping is catalog-derived from the source-reported homepage; it does not establish authorship or publisher identity

Sources et 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.

Fedora 44 Everything aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-aarch64:ad124f8125666e9059d7a8180427bdaea80f6286f71140457e5c7edd95883eee
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://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=aarch64
Signed-object SHA-256
236514c32119ab3c85b81fbb9e5e9d92b07aeba0d19d64c9b4fc9117a1863769
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
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
Fedora 44 Everything x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-everything-x86_64:da3845427d188097f6fd71b417a039bdfb8efefc4f38ca44b5cbb94f95a18991
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://mirrors.fedoraproject.org/metalink?repo=fedora-44&arch=x86_64
Signed-object SHA-256
1300b99ac5d04b5561ad901320c8bd59ed1553f4971c3ce2ca48c40242c66676
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
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
Fedora 44 updates aarch64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-updates-aarch64:6ecf7f9a3a707e537dd0c542e2f5fabb365c3c76c03b091b23e9c82d7f8ff88b
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://mirrors.fedoraproject.org/metalink?repo=updates-released-f44&arch=aarch64
Signed-object SHA-256
2ec0ba92e556309075d8efe3c3301b36bb7ecd47c4e17566f0192c9c5436ed5f
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
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
Fedora 44 updates x86_64Sep 1, 2026
Authoritative source; repository metadata signature verified, revision 44-updates-x86_64:ffcac72d41afd8a62019714dd668a27f333f8ac19678580178b5b67c23ca6419
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://mirrors.fedoraproject.org/metalink?repo=updates-released-f44&arch=x86_64
Signed-object SHA-256
a69a0ab020457a7af2515066b7caccb3950bcf9dc7bedb52b1850098d9857ae1
Signer fingerprint
Not recorded
Keyring revision
RPM-GPG-KEY-fedora-44-primary
SHA-256 93642aec521a1e5e96dd715f7ae0ec0850ebc9de09a94ce03cae5263f26cc18a
Tool and policy
1
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