depot/third_party/nixpkgs/pkgs/applications/science/logic/coq
Default email 634fe97655 Project import generated by Copybara.
GitOrigin-RevId: 09c38c29f2c719cd76ca17a596c2fdac9e186ceb
2021-07-03 00:11:41 -03:00
..
default.nix Project import generated by Copybara. 2021-07-03 00:11:41 -03:00