cadical-libs-1.7.3-1.fc39 RPM for i686

From Fedora 39 for x86_64 / c

This package contains the CaDiCaL simplified Satisfiability solver as a
library, for use in applications that need a SAT solver.

Provides

• cadical-libs
• cadical-libs(x86-32)
• libcadical.so.0

Requires

• libc.so.6
• libc.so.6(GLIBC_2.0)
• libc.so.6(GLIBC_2.1)
• libc.so.6(GLIBC_2.1.3)
• libc.so.6(GLIBC_2.3)
• libc.so.6(GLIBC_2.3.4)
• libc.so.6(GLIBC_2.33)
• libc.so.6(GLIBC_2.38)
• libc.so.6(GLIBC_2.4)
• libgcc_s.so.1
• libgcc_s.so.1(GCC_3.0)
• libgcc_s.so.1(GCC_3.3.1)
• libm.so.6
• libm.so.6(GLIBC_2.29)
• libstdc++.so.6
• libstdc++.so.6(CXXABI_1.3)
• 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.18)
• libstdc++.so.6(GLIBCXX_3.4.29)
• libstdc++.so.6(GLIBCXX_3.4.30)
• 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

* Fri Sep 15 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.3-1
  - Version 1.7.3
* Fri Sep 01 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.1-1
  - Version 1.7.1
* Fri Jul 28 2023 Jerry James <loganjerry@gmail.com> - 1:1.7.0-1
  - Version 1.7.0
* Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.3-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
* Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.3-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
* Sat Sep 10 2022 Jerry James <loganjerry@gmail.com> - 1:1.5.3-1
  - Version 1.5.3
* Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.2-3
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
* Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1:1.5.2-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
* Thu Oct 28 2021 Jerry James <loganjerry@gmail.com> - 1:1.5.2-1
  - Version 1.5.2

Files

/usr/lib/.build-id
/usr/lib/.build-id/5d
/usr/lib/.build-id/5d/6f3aa5c82c5a72b37ef600e0652d541b837fdc
/usr/lib/libcadical.so.0
/usr/lib/libcadical.so.0.0.0
/usr/share/doc/cadical-libs
/usr/share/doc/cadical-libs/CONTRIBUTING
/usr/share/doc/cadical-libs/README.md
/usr/share/licenses/cadical-libs
/usr/share/licenses/cadical-libs/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Apr 10 01:59:24 2024