Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

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

From OpenSuSE Ports Tumbleweed for riscv64

Name: libgecode51 Distribution: openSUSE Tumbleweed
Version: 6.3.0~git20211208.6b09bea4 Vendor: openSUSE
Release: 1.2 Build date: Sun Sep 10 16:30:57 2023
Group: System/Libraries Build host: h02-ch2d
Size: 10421742 Source RPM: gecode-6.3.0~git20211208.6b09bea4-1.2.src.rpm
Packager: https://bugs.opensuse.org
Url: https://www.gecode.org/
Summary: C++ toolkit for developing constraint-based systems
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

Requires

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 May 8 00:17:34 2024