summaryrefslogtreecommitdiff
path: root/var/spack/repos/builtin/packages/clingo
AgeCommit message (Expand)AuthorFilesLines
2021-04-25clingo: add v5.5.0, v5.4.1 (#23239)Massimiliano Culpo1-1/+10
2021-03-26clingo: modify recipe for bootstrapping (#22354)Massimiliano Culpo1-4/+11
2021-03-22clingo: fix typo (#22444)Maxim Belkin1-1/+1
2021-01-29clingo: added a package with option for bootstrapping clingo (#20652)Massimiliano Culpo1-2/+15
2021-01-28Clingo: fix missing import (#21364)Adam J. Stewart1-0/+1
2021-01-02copyrights: update all files with license headers for 2021Todd Gamblin1-1/+1
2020-12-21clingo: prefer master branchTodd Gamblin1-1/+1
2020-11-18clingo: add `master` branch version (#19958)Massimiliano Culpo1-1/+3
2020-10-30clingo: compilation error - needs a patch (#19624)Teodor Nikolov2-0/+15
2020-10-29clingo+python extends python (#19585)Greg Becker1-0/+1
2020-05-12clingo: update package (#16594)Todd Gamblin1-7/+29
2020-02-03clingo: new versions (#14728)Andrew W Elble1-0/+2
2019-12-30copyright: update copyright dates for 2020 (#14328)Todd Gamblin1-1/+1
2019-10-12checksums: use sha256 checksums everywhereTodd Gamblin1-1/+1
2019-01-01copyright: update license headers for 2013-2019 copyright.Todd Gamblin1-1/+1
2018-10-17relicense: replace LGPL headers with Apache-2.0/MIT SPDX headersTodd Gamblin1-23/+4
2018-06-08compiler flags: add cxx98 standard support (#7601)Chris Green1-1/+3
2018-03-24Update copyright on LLNL files for 2018. (#7592)Todd Gamblin1-1/+1
2018-02-03clingo@5.2.2: new package (#7091)Geoffrey Oxberry1-0/+54