diff options
| author | Jack Henahan <jhenahan@me.com> | 2018-09-25 18:16:35 -0400 |
|---|---|---|
| committer | skullydazed <skullydazed@users.noreply.github.com> | 2018-09-25 15:16:35 -0700 |
| commit | 2b23072c3438ea2a8a8477f738d24be2bc9aacdc (patch) | |
| tree | bffde22ed40aa494ce385b62ef09f1de1cef2f09 /lib/chibios-contrib | |
| parent | 9dc19fdb6d0fedfb0080891a8eff49a8fc3b70c2 (diff) | |
Pin avr-gcc in shell.nix pending release of 8.3.0 (#3922)
* Pin avr-gcc in shell.nix pending release of 8.3.0
There's apparently a critical bug in 8.2.0, which is now the nixpkgs default. This change overrides that default in favor of the known good version. Once 8.3.0 is the default, the override can be dropped.
* Arch/Manjaro fix
Diffstat (limited to 'lib/chibios-contrib')
0 files changed, 0 insertions, 0 deletions