gpp_maybe
Recommended update for clingo, python-sphinx_4_2_0, python-sphinxcontrib-applehelp, python-sphinxcontrib-devhelp, python-sphinxcontrib-htmlhelp, python-sphinxcontrib-jsmath, python-sphinxcontrib-qthelp, python-sphinxcontrib-serializinghtml, spack
SUSE-SLE-Module-HPC-15-SP3-2022-685
This update for clingo, python-Sphinx_4_2_0, python-sphinxcontrib-applehelp, python-sphinxcontrib-devhelp, python-sphinxcontrib-htmlhelp, python-sphinxcontrib-jsmath, python-sphinxcontrib-qthelp, python-sphinxcontrib-serializinghtml, spack fixes the following issues: - added python-cffi as Requires (bsc#1193712) - create a sub lib package - fix some build errors, remove unwanted files - update to version 5.5.0 - clingo is used by default for spack version earlier than 0.17 (jsc#SLE-22137) - first release for SUSE (from fedora spec)
-
Release DateMar 3 2022
-
References
-
Typerecommended
-
Severityimportant
cloud_download Downloads
HPC Module 15.3 aarch64
-
Packagesclingo
A grounder and solver for logic programsclingo-devel5.5.0-150300.7.4.1 lock rpm lock src
Development files for clingolibclingo45.5.0-150300.7.4.1 lock rpm
Libraries file(s) for clingopython3-clingo5.5.0-150300.7.4.1 lock rpm
Python 3 bindings for Clingospack5.5.0-150300.7.4.1 lock rpm
Package manager for HPC systemsspack-info0.17.1-150300.5.8.2 lock rpm lock src
Info Page for Spack - Package manager for HPC systemsspack-man0.17.1-150300.5.8.3 lock rpm
Man Page for Spack - Package manager for HPC systemsspack-recipes0.17.1-150300.5.8.3 lock rpm
Spack built-in package recipes0.17.1-150300.5.8.2 lock rpm
HPC Module 15.3 x86_64
-
Packagesclingo
A grounder and solver for logic programsclingo-devel5.5.0-150300.7.4.1 lock rpm lock src
Development files for clingolibclingo45.5.0-150300.7.4.1 lock rpm
Libraries file(s) for clingopython3-clingo5.5.0-150300.7.4.1 lock rpm
Python 3 bindings for Clingospack5.5.0-150300.7.4.1 lock rpm
Package manager for HPC systemsspack-info0.17.1-150300.5.8.2 lock rpm lock src
Info Page for Spack - Package manager for HPC systemsspack-man0.17.1-150300.5.8.3 lock rpm
Man Page for Spack - Package manager for HPC systemsspack-recipes0.17.1-150300.5.8.3 lock rpm
Spack built-in package recipes0.17.1-150300.5.8.2 lock rpm