mucaho 1509f463a0 clingcon: 3.3.0 -> 5.0.0		2021-12-16 20:28:19 +01:00
..
clingcon.nix	clingcon: 3.3.0 -> 5.0.0	2021-12-16 20:28:19 +01:00
clingo.nix	clingo: 5.5.0 -> 5.5.1	2021-12-06 09:34:25 +00:00
clingo.upstream