Default email d87170d3f2 Project import generated by Copybara. ... GitOrigin-RevId: 967d40bec14be87262b21ab901dbace23b7365db		2021-07-18 23:22:44 +02:00
..
4.4.0.nix	Project import generated by Copybara.	2021-01-17 01:15:33 +01:00
default.nix	Project import generated by Copybara.	2021-03-09 11:18:52 +08:00
tptp.nix	Project import generated by Copybara.	2021-07-18 23:22:44 +02:00