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

libclingo4-5.5.0-150400.4.3.3 RPM for aarch64

From OpenSuSE Leap 15.6 for aarch64

Name: libclingo4 Distribution: SUSE Linux Enterprise 15
Version: 5.5.0 Vendor: SUSE LLC <https://www.suse.com/>
Release: 150400.4.3.3 Build date: Thu Jun 22 08:47:33 2023
Group: Development/Libraries/C and C++ Build host: ibs-arm-2
Size: 4083013 Source RPM: clingo-5.5.0-150400.4.3.3.src.rpm
Packager: https://www.suse.com/
Url: https://potassco.org/clingo/
Summary: Libraries file(s) for clingo
Clingo is part of the Potassco project for Answer Set Programming
(ASP). This package include clingo libraries.

Provides

Requires

License

MIT

Changelog

* Wed Jun 21 2023 eich@suse.com
  - Fix python-cffi dependency in python-clingo (bsc#1212554).
* Tue Dec 14 2021 cgoll@suse.com
  - added python-cffi as Requires (boo#1193712)
* Thu Nov 18 2021 aginies@suse.com
  - create a sub lib package
* Wed Sep 29 2021 aginies@suse.com
  - fix some build errors, remove unwanted files
  - update to version 5.5.0
  - clingo is used by default for spack version >= 0.17 (JSC#SLE-22137)
* Wed Sep 29 2021 aginies@suse.com
  - first release for SUSE (from fedora spec)

Files

/usr/lib64/libclingo.so.4
/usr/lib64/libclingo.so.4.0
/usr/share/doc/packages/libclingo4
/usr/share/doc/packages/libclingo4/INSTALL.md
/usr/share/doc/packages/libclingo4/LICENSE.md
/usr/share/doc/packages/libclingo4/README.md


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 20:14:19 2024