summaryrefslogtreecommitdiff
path: root/util/nixshell
AgeCommit message (Expand)Author
2024-03-14util/nixshell: Add a dev shell for i386 archCrabtux
2022-08-18util/nixshell/toolchain: Update GNAT to version 12Felix Singer
2022-02-22util/nixshell: Add a Nix shell for building documentationFelix Singer
2021-09-16util/nixshell: Add Nix shell for toolchain compilationFelix Singer