diff options
| author | Teodor Nikolov <teodor.nikolov22@gmail.com> | 2020-10-30 19:36:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-30 11:36:53 -0700 |
| commit | fef20524f968c759d596eca5ad9d6be92edcbb3f (patch) | |
| tree | 1a3a6787ae82785a9b58120476f91b08b632b789 /README.md | |
| parent | 3d7e8ff39906262c0b9cb6b9230739495e9d08f9 (diff) | |
| download | spack-fef20524f968c759d596eca5ad9d6be92edcbb3f.tar.gz spack-fef20524f968c759d596eca5ad9d6be92edcbb3f.tar.bz2 spack-fef20524f968c759d596eca5ad9d6be92edcbb3f.tar.xz spack-fef20524f968c759d596eca5ad9d6be92edcbb3f.zip | |
clingo: compilation error - needs a patch (#19624)
* Add a patch to clingo
Co-authored-by: Adam J. Stewart <ajstewart426@gmail.com>
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions