Arnout Engelen 3b05df1d13 arduino: core 1.8.12 -> 1.8.13		2020-12-24 14:09:49 +01:00
..
default.nix	arduino: core 1.8.12 -> 1.8.13	2020-12-24 14:09:49 +01:00
downloads.nix	arduino: core 1.8.12 -> 1.8.13	2020-12-24 14:09:49 +01:00