Vincent Laporte 903f4dd3d4 clingo: fix build on non-sandboxed darwin		2018-03-12 17:07:18 +00:00
..
clingo.nix	clingo: fix build on non-sandboxed darwin	2018-03-12 17:07:18 +00:00
clingo.upstream	clingo: init at 5.2.2	2017-11-10 14:04:32 +01:00