clingo-5.8.0-1.fc42 RPM for i686

From Fedora 42 testing updates for x86_64 / Packages / c

Clingo is part of the Potassco project for Answer Set Programming
(ASP). ASP offers a simple and powerful modeling language to describe
combinatorial problems as logic programs. The clingo system then takes
such a logic program and computes answer sets representing solutions
to the given problem.

Provides

• clingo
• clingo(x86-32)
• libclingo.so.4

Requires

• ld-linux.so.2
• ld-linux.so.2(GLIBC_2.3)
• libc.so.6
• libc.so.6(GLIBC_2.0)
• libc.so.6(GLIBC_2.1)
• libc.so.6(GLIBC_2.1.1)
• libc.so.6(GLIBC_2.1.3)
• libc.so.6(GLIBC_2.2)
• libc.so.6(GLIBC_2.3)
• libc.so.6(GLIBC_2.3.4)
• libc.so.6(GLIBC_2.32)
• libc.so.6(GLIBC_2.33)
• libc.so.6(GLIBC_2.34)
• libc.so.6(GLIBC_2.38)
• libc.so.6(GLIBC_2.4)
• libc.so.6(GLIBC_ABI_DT_RELR)
• libclingo.so.4
• libgcc_s.so.1
• libgcc_s.so.1(GCC_3.0)
• libgcc_s.so.1(GCC_3.3.1)
• liblua-5.4.so
• libm.so.6
• libm.so.6(GLIBC_2.0)
• libm.so.6(GLIBC_2.29)
• libpython3.13.so.1.0
• libstdc++.so.6
• libstdc++.so.6(CXXABI_1.3)
• libstdc++.so.6(CXXABI_1.3.1)
• libstdc++.so.6(CXXABI_1.3.11)
• libstdc++.so.6(CXXABI_1.3.13)
• libstdc++.so.6(CXXABI_1.3.15)
• libstdc++.so.6(CXXABI_1.3.3)
• libstdc++.so.6(CXXABI_1.3.5)
• libstdc++.so.6(CXXABI_1.3.7)
• libstdc++.so.6(CXXABI_1.3.8)
• libstdc++.so.6(CXXABI_1.3.9)
• libstdc++.so.6(GLIBCXX_3.4)
• libstdc++.so.6(GLIBCXX_3.4.11)
• libstdc++.so.6(GLIBCXX_3.4.14)
• libstdc++.so.6(GLIBCXX_3.4.15)
• libstdc++.so.6(GLIBCXX_3.4.17)
• libstdc++.so.6(GLIBCXX_3.4.18)
• libstdc++.so.6(GLIBCXX_3.4.19)
• libstdc++.so.6(GLIBCXX_3.4.20)
• libstdc++.so.6(GLIBCXX_3.4.21)
• libstdc++.so.6(GLIBCXX_3.4.22)
• libstdc++.so.6(GLIBCXX_3.4.26)
• libstdc++.so.6(GLIBCXX_3.4.29)
• libstdc++.so.6(GLIBCXX_3.4.30)
• libstdc++.so.6(GLIBCXX_3.4.32)
• libstdc++.so.6(GLIBCXX_3.4.9)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rtld(GNU_HASH)

License

MIT

Changelog

* Thu Jul 03 2025 Till Hofmann <thofmann@fedoraproject.org> - 5.8.0-1
  - Update to 5.8.0
* Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 5.7.1-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild
* Sun Aug 11 2024 Till Hofmann <thofmann@fedoraproject.org> - 5.7.1-1
  - Update to 5.7.1
* Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-11
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 5.6.2-10
  - Rebuilt for Python 3.13
* Fri Jun 07 2024 Python Maint <python-maint@redhat.com> - 5.6.2-9
  - Rebuilt for Python 3.13
* Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-8
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 5.6.2-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

Files

/usr/bin/clasp
/usr/bin/clingo
/usr/bin/gringo
/usr/bin/lpconvert
/usr/bin/reify
/usr/lib/.build-id
/usr/lib/.build-id/48
/usr/lib/.build-id/48/c5a3143fe4c4fdcc7c5ebfc2eabd86d8b2e1d1
/usr/lib/.build-id/5d
/usr/lib/.build-id/5d/43476f289d0c246d35acef46e6810eb2aa1102
/usr/lib/.build-id/74
/usr/lib/.build-id/74/e5374b09fb020abf04a5c7775e336793fc654c
/usr/lib/.build-id/79
/usr/lib/.build-id/79/8080d46cc5b29794432783c0f300962d618aa4
/usr/lib/.build-id/af
/usr/lib/.build-id/af/76400d88f63dc01cdce743d67ec2041133d9c2
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/47e0eb4da0c22a267e606327ac069e1c649ed1
/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

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jul 12 00:31:25 2025