arduino
|
arduino-cli: 0.11.0 -> 0.12.1 (#97836)
|
2020-09-12 15:25:27 +00:00 |
compilers
|
gcc10: 10.1.0 -> 10.2.0
|
2020-09-12 11:54:39 +02:00 |
coq-modules
|
coqPackages.Verdi: enable for Coq 8.12
|
2020-09-10 22:10:02 +02:00 |
go-packages
|
buildGoPackage: check/delete vendor
|
2020-09-08 16:32:39 +10:00 |
guile-modules
|
guile-sdl2: 0.4.0 -> 0.5.0
|
2020-09-06 22:36:15 +01:00 |
interpreters
|
j: fix build on darwin
|
2020-09-09 15:09:26 -07:00 |
misc
|
hasura: 1.2.1 -> 1.3.1-beta.1
|
2020-09-03 14:59:08 -05:00 |
node-packages
|
nodePackages.node-red: fix build
|
2020-09-09 07:40:55 +02:00 |
tools
|
buildah: 1.16.0 -> 1.16.1
|
2020-09-12 16:38:50 +10:00 |