Default email 5cae67db9e Project import generated by Copybara. ... GitOrigin-RevId: b59c06dc92f8d03660eb4155754d93a6c34cda83		2021-07-17 23:14:59 +02:00
..
default.nix	Project import generated by Copybara.	2021-07-17 23:14:59 +02: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