Default email b450903751 Project import generated by Copybara. ... GitOrigin-RevId: 74a1793c659d09d7cf738005308b1f86c90cb59b		2022-09-09 16:08:57 +02:00
..
4.4.0.nix	Project import generated by Copybara.	2022-06-26 12:26:21 +02:00
default.nix	Project import generated by Copybara.	2022-09-09 16:08:57 +02:00
tptp.nix	Project import generated by Copybara.	2021-07-18 23:22:44 +02:00