Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | util/nixshell/toolchain: Update GNAT to version 12 | Felix Singer | 2022-08-18 | 1 | -1/+1 |
* | util/nixshell: Add a Nix shell for building documentation | Felix Singer | 2022-02-22 | 1 | -0/+13 |
* | util/nixshell: Add Nix shell for toolchain compilation | Felix Singer | 2021-09-16 | 1 | -0/+20 |