Default email 3cbfd2b52c Project import generated by Copybara. ... GitOrigin-RevId: 395879c28386e1abf20c7ecacd45880759548391		2021-12-18 20:06:50 -05:00
..
clingcon.nix	Project import generated by Copybara.	2021-12-18 20:06:50 -05:00
clingo.nix	Project import generated by Copybara.	2021-12-06 17:07:01 +01:00
clingo.upstream	Project import generated by Copybara.	2020-04-24 19:36:52 -04:00