Massimiliano Culpo 532fc40e94 clingo: add master branch version (#19958) ... * updated @master to point to the master branch * also added a @spack that points to a fixed commit		2020-11-18 04:21:55 -08:00
..
spack	clingo: add master branch version (#19958)	2020-11-18 04:21:55 -08:00