diff options
| author | Todd Gamblin <tgamblin@llnl.gov> | 2024-02-16 09:14:19 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-16 18:14:19 +0100 |
| commit | be1cfffa454cb4d5c81a28267acb49ce712c024a (patch) | |
| tree | 745cc571b9457b924b271436ac32b3364de6ebd0 /etc | |
| parent | 75b71092223db63fc4839e3a9c0f698a35f309f4 (diff) | |
| download | spack-be1cfffa454cb4d5c81a28267acb49ce712c024a.tar.gz spack-be1cfffa454cb4d5c81a28267acb49ce712c024a.tar.bz2 spack-be1cfffa454cb4d5c81a28267acb49ce712c024a.tar.xz spack-be1cfffa454cb4d5c81a28267acb49ce712c024a.zip | |
clingo: add version 5.7.0 (#42707)
5.7.0 was just released. It includes a number of changes requested and/or
upstreamed by Spack developers, e.g.:
* API for accessing optimization priorities: https://github.com/potassco/clingo/pull/406
* Hash optimization: https://github.com/potassco/clingo/pull/441
* Contributing Guide: https://github.com/potassco/clingo/pull/465
* Hiding more ELF symbols:
* https://github.com/potassco/clingo/pull/447
* https://github.com/potassco/clingo/pull/449
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions