Gitiles
Code Review
Sign In
review.sourcearcade.org
/
filo-scratch
/
6710c0e32e411cbb12c0ac3a519cc6a73132f9e6
/
default.nix
3ec689d
nix: add -U option to gnatprove
by Thomas Heijligen
· 1 year, 1 month ago
62268ee
Make it compile
by Thomas Heijligen
· 1 year, 1 month ago
d1e0457
Test env to develop FILO filesystem drivers in Ada
by Thomas Heijligen
· 1 year, 1 month ago