coq-modules
|
coqPackages.bignums: enable for Coq 8.11
|
2020-02-07 10:26:26 +01:00 |
interpreters
|
octaveHg: drop
|
2020-02-09 19:24:18 +01:00 |
libraries
|
libosip: 5.1.0 -> 5.1.1
|
2020-02-10 13:31:32 +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 |
ocaml-modules
|
ocamlPackages.apron: 2016-01-25 → 0.9.12
|
2020-02-10 07:36:54 +01:00 |
python-modules
|
mopidy: update to python3
|
2020-02-10 09:53:13 +01:00 |
tools
|
micronaut: 1.2.8 -> 1.3.0
|
2020-02-10 13:24:47 +01:00 |
web
|
Merge pull request #79291 from chkno/remove-isArm
|
2020-02-08 09:57:30 -05:00 |