depot/third_party/nixpkgs/pkgs/applications/science/logic/lean
Default email 93df2b837e Project import generated by Copybara.
GitOrigin-RevId: 18d4025a8ee2f656d897505ccd0ba61a5b89bbea
2021-10-08 17:17:17 +02:00
..
default.nix Project import generated by Copybara. 2021-10-08 17:17:17 +02:00