arduino
Merge pull request #92000 from f4814/platformio-udev
2020-07-11 14:10:33 +02:00
compilers
ghc: don't build with profiling on aarch64 #66277
2020-07-21 20:23:07 +02:00
coq-modules
coqPackages.math-classes: 8.9.1 → 8.11.0
2020-07-19 18:41:00 +02:00
interpreters
wasmtime: 0.18.0 -> 0.19.0
2020-07-22 01:50:56 +02:00
node-packages
nodePackages.pyright: init at 1.1.54
2020-07-19 13:38:55 -07:00
ocaml-modules
ocamlPackages.ppx_tools: 6.1 → 6.2
2020-07-15 15:48:04 +02:00
perl-modules
strip-nondeterminism: fix build on darwin
2020-07-18 07:30:00 -05:00
tools
wabt: 1.0.18 -> 1.0.19
2020-07-22 15:29:03 +02:00
web
deno: 1.1.3 -> 1.2.0
2020-07-14 11:25:24 +00:00