depot/third_party/nixpkgs/pkgs/tools/misc/gringo
Default email 22017988c6 Project import generated by Copybara.
GitOrigin-RevId: c777cdf5c564015d5f63b09cc93bef4178b19b01
2022-04-27 11:35:20 +02:00
..
default.nix Project import generated by Copybara. 2022-04-27 11:35:20 +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