summaryrefslogtreecommitdiffstats
path: root/util/nixshell
Commit message (Expand)AuthorAgeFilesLines
* util/nixshell/toolchain: Update GNAT to version 12Felix Singer2022-08-181-1/+1
* util/nixshell: Add a Nix shell for building documentationFelix Singer2022-02-221-0/+13
* util/nixshell: Add Nix shell for toolchain compilationFelix Singer2021-09-161-0/+20