Default email a5adf1ddd8 Project import generated by Copybara. ... GitOrigin-RevId: b3616bd96400ce0252c241d76fcafb64389defc6		2021-01-15 23:18:51 +01:00
..
default.nix	Project import generated by Copybara.	2021-01-15 23:18:51 +01: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