libgecode51-6.3.0~git20211208.6b09bea4-1.2 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

Gecode is an open source C++ toolkit for developing constraint-based
systems and applications. Gecode provides a constraint solver with
state-of-the-art performance while being modular and extensible.

Provides

• libgecode51
• libgecode51(riscv-64)
• libgecodedriver.so.51()(64bit)
• libgecodefloat.so.51()(64bit)
• libgecodeint.so.51()(64bit)
• libgecodekernel.so.51()(64bit)
• libgecodeminimodel.so.51()(64bit)
• libgecodesearch.so.51()(64bit)
• libgecodeset.so.51()(64bit)
• libgecodesupport.so.51()(64bit)

Requires

• /sbin/ldconfig
• /sbin/ldconfig
• ld-linux-riscv64-lp64d.so.1()(64bit)
• ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit)
• libc.so.6()(64bit)
• libc.so.6(GLIBC_2.27)(64bit)
• libc.so.6(GLIBC_2.34)(64bit)
• libc.so.6(GLIBC_2.38)(64bit)
• libgcc_s.so.1()(64bit)
• libgcc_s.so.1(GCC_3.0)(64bit)
• libgcc_s.so.1(GCC_3.3.1)(64bit)
• libgecodefloat.so.51()(64bit)
• libgecodeint.so.51()(64bit)
• libgecodekernel.so.51()(64bit)
• libgecodeset.so.51()(64bit)
• libgecodesupport.so.51()(64bit)
• libm.so.6()(64bit)
• libm.so.6(GLIBC_2.27)(64bit)
• libstdc++.so.6()(64bit)
• libstdc++.so.6(CXXABI_1.3)(64bit)
• libstdc++.so.6(CXXABI_1.3.7)(64bit)
• libstdc++.so.6(CXXABI_1.3.8)(64bit)
• libstdc++.so.6(GLIBCXX_3.4)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.11)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.14)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.20)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.21)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.29)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.32)(64bit)
• libstdc++.so.6(GLIBCXX_3.4.9)(64bit)
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1
• rpmlib(TildeInVersions) <= 4.10.0-1

License

MIT

Changelog

* Sat Apr 30 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de>
  - Fix hanging MiniZinc IDE, add
    0001-Send-DONE-message-before-disconnecting.patch
  - Build and run testsuite
* Wed Apr 27 2022 Stefan Brüns <stefan.bruens@rwth-aachen.de>
  - Initial package version (6.3.0~git20211208)

Files

/usr/lib64/libgecodedriver.so.51
/usr/lib64/libgecodefloat.so.51
/usr/lib64/libgecodeint.so.51
/usr/lib64/libgecodekernel.so.51
/usr/lib64/libgecodeminimodel.so.51
/usr/lib64/libgecodesearch.so.51
/usr/lib64/libgecodeset.so.51
/usr/lib64/libgecodesupport.so.51
/usr/share/licenses/libgecode51
/usr/share/licenses/libgecode51/LICENSE

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Nov 13 00:41:02 2024