compilers
|
mono: remove outdated wokaround
|
2020-02-09 10:26:07 +01:00 |
coq-modules
|
coqPackages.bignums: enable for Coq 8.11
|
2020-02-07 10:26:26 +01:00 |
interpreters
|
joker: 0.14.0 -> 0.14.1
|
2020-02-08 10:07:45 +00:00 |
libraries
|
galario: init at 1.2.1
|
2020-02-09 10:21:30 +01:00 |
misc
|
h3: 3.6.2 -> 3.6.3 (#79438)
|
2020-02-07 11:04:37 -08:00 |
mobile
|
cocoapods-beta: 1.9.0.beta.2 -> 1.9.0.beta.3
|
2020-02-07 16:25:53 -08:00 |
node-packages
|
nodePackages: update set
|
2020-02-07 08:24:16 -05:00 |
tools
|
sslmate: 1.7.0 -> 1.7.1
|
2020-02-09 10:01:30 +01:00 |
web
|
Merge pull request #79291 from chkno/remove-isArm
|
2020-02-08 09:57:30 -05:00 |