debf4fc929
Update the default GNAT version from 9 to 11, as GNAT >= 11 is required to compile the 22.* AdaCore libraries. To allow this, we need to pick a patch from ghdl's master fixing a compilation problem with GNAT 11. |
||
|---|---|---|
| .. | ||
| administration | ||
| configuration | ||
| development | ||
| from_md | ||
| installation | ||
| release-notes | ||
| .gitignore | ||
| contributing-to-this-manual.chapter.md | ||
| default.nix | ||
| Makefile | ||
| man-configuration.xml | ||
| man-nixos-build-vms.xml | ||
| man-nixos-enter.xml | ||
| man-nixos-generate-config.xml | ||
| man-nixos-install.xml | ||
| man-nixos-option.xml | ||
| man-nixos-rebuild.xml | ||
| man-nixos-version.xml | ||
| man-pages.xml | ||
| manual.xml | ||
| md-to-db.sh | ||
| preface.xml | ||
| README.md | ||
| shell.nix | ||