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

clingo-devel-5.5.0-4.4.1 RPM for armv7hl

From OpenSuSE Ports Leap 15.5 for armv7hl

Name: clingo-devel Distribution: openSUSE Step 15
Version: 5.5.0 Vendor: openSUSE
Release: 4.4.1 Build date: Tue Jul 4 04:10:21 2023
Group: Development/Tools/Other Build host: obs-arm-5
Size: 344549 Source RPM: clingo-5.5.0-4.4.1.src.rpm
Packager: https://bugs.opensuse.org
Url: https://potassco.org/clingo/
Summary: Development files for clingo
 
The clingo-devel package contains libraries and header files for
developing applications that use clingo.

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/include/clingo.h
/usr/include/clingo.hh
/usr/lib/cmake/Clingo
/usr/lib/cmake/Clingo/ClingoConfig.cmake
/usr/lib/cmake/Clingo/ClingoConfigVersion.cmake
/usr/lib/cmake/Clingo/ClingoTargets-release.cmake
/usr/lib/cmake/Clingo/ClingoTargets.cmake
/usr/lib/libclingo.so

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 9 18:42:22 2024