Default email bb584b27e9 Project import generated by Copybara. ... GitOrigin-RevId: 5181d5945eda382ff6a9ca3e072ed6ea9b547fee		2022-04-15 03:41:22 +02:00
..
4.4.0.nix	Project import generated by Copybara.	2022-03-30 11:31:56 +02:00
default.nix	Project import generated by Copybara.	2022-04-15 03:41:22 +02:00
tptp.nix	Project import generated by Copybara.	2021-07-18 23:22:44 +02:00