Default email 8ac5e011d6 Project import generated by Copybara. ... GitOrigin-RevId: 2c3273caa153ee8eb5786bc8141b85b859e7efd7		2020-04-24 19:36:52 -04:00
..
default.nix	Project import generated by Copybara.	2020-04-24 19:36:52 -04:00
gringo-4.5.4-cmath.patch	Project import generated by Copybara.	2020-04-24 19:36:52 -04:00
gringo-4.5.4-to_string.patch	Project import generated by Copybara.	2020-04-24 19:36:52 -04:00