lukegb/depot
1
0
Fork 0
Code Issues 1 Pull requests Projects Packages Activity Actions
depot/third_party/nixpkgs/pkgs/development/ada-modules
History
Default email fa5436e0a7 Project import generated by Copybara. 
GitOrigin-RevId: e8057b67ebf307f01bdcc8fba94d94f75039d1f6
2024-06-05 17:53:02 +02:00
..
gnatcoll Project import generated by Copybara. 2024-02-29 21:09:43 +01:00
gnatprove Project import generated by Copybara. 2024-02-29 21:09:43 +01:00
gprbuild Project import generated by Copybara. 2024-06-05 17:53:02 +02:00
xmlada Project import generated by Copybara. 2024-02-29 21:09:43 +01:00