Default email ce641f4048 Project import generated by Copybara. ... GitOrigin-RevId: bc5d68306b40b8522ffb69ba6cff91898c2fbbff		2021-12-06 17:07:01 +01:00
..
boot.nix	Project import generated by Copybara.	2021-12-06 17:07:01 +01:00
default.nix	Project import generated by Copybara.	2021-08-06 00:33:18 +03:00
gpr-project-path-hook.sh	Project import generated by Copybara.	2021-08-06 00:33:18 +03:00
nixpkgs-gnat.xml	Project import generated by Copybara.	2021-08-06 00:33:18 +03:00