arduino
|
arduino-cli: init at 0.11.0
|
2020-08-08 08:11:26 -07:00 |
compilers
|
ghcHEAD: 8.11.20200505 -> 8.11.20200731
|
2020-08-07 20:34:52 +02:00 |
coq-modules
|
coq_8_12: 8.12+β1 → 8.12.0
|
2020-08-08 06:33:08 +02:00 |
haskell-modules
|
ghcHEAD: 8.11.20200505 -> 8.11.20200731
|
2020-08-07 20:34:52 +02:00 |
interpreters
|
jruby: 9.2.12.0 → 9.2.13.0
|
2020-08-04 14:50:17 -07:00 |
libraries
|
hepmc3: 3.2.0 -> 3.2.2
|
2020-08-09 10:44:15 -07:00 |
lua-modules
|
luaPackages.pulseaudio: remove (#94939)
|
2020-08-08 15:43:13 +02:00 |
ocaml-modules
|
ocamlPackages.lua-ml: 0.9 → 0.9.1
|
2020-08-08 06:17:23 +02:00 |
tools
|
minizinc: 2.2.3 -> 2.4.3, fix build
|
2020-08-09 10:14:57 -07:00 |
web
|
Merge pull request #94781 from DamienCassou/cypress-4.12.1
|
2020-08-07 11:21:55 +02:00 |