diff options
| author | Todd Gamblin <gamblin2@llnl.gov> | 2022-12-05 09:39:30 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-05 10:39:30 -0700 |
| commit | 78ec3d5662aaef03cac2f3ad9f9479b685c86c37 (patch) | |
| tree | 3c2e996491d0bc7a843ad57666907ac72c8337aa /etc | |
| parent | a7b5f2ef39543f047f587d778579a958bbd0be45 (diff) | |
| download | spack-78ec3d5662aaef03cac2f3ad9f9479b685c86c37.tar.gz spack-78ec3d5662aaef03cac2f3ad9f9479b685c86c37.tar.bz2 spack-78ec3d5662aaef03cac2f3ad9f9479b685c86c37.tar.xz spack-78ec3d5662aaef03cac2f3ad9f9479b685c86c37.zip | |
clingo: add version 5.6.2 (#34317)
See release notes at https://github.com/potassco/clingo/releases/tag/v5.6.2
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions