R. RyanTM cec747d712 clingo: 5.4.0 -> 5.4.1		2020-12-07 13:03:03 +00:00
..
clingcon.nix	…
clingo.nix	…
clingo.upstream	…