diff options
| author | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-03-22 23:57:32 +0100 |
|---|---|---|
| committer | Massimiliano Culpo <massimiliano.culpo@gmail.com> | 2021-05-21 19:42:12 +0200 |
| commit | 6c1b348d912175ce49141386cee8d79d8035269b (patch) | |
| tree | 6ff43d6e23678c0154818dc83ce64160617b7fa9 /.github | |
| parent | 68ef6fce92766601a34fa5bc221f0e9e0dba09d5 (diff) | |
| download | spack-6c1b348d912175ce49141386cee8d79d8035269b.tar.gz spack-6c1b348d912175ce49141386cee8d79d8035269b.tar.bz2 spack-6c1b348d912175ce49141386cee8d79d8035269b.tar.xz spack-6c1b348d912175ce49141386cee8d79d8035269b.zip | |
clingo-bootstrap: account for cray platform (#22460)
(cherry picked from commit 138312efabd534fa42d1a16e172e859f0d2b5842)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions