coq-modules
|
coqPackages.math-classes: 8.9.1 → 8.11.0
|
2020-07-19 18:41:00 +02:00 |
libraries
|
Merge pull request #93280 from markuskowa/upd-ucx
|
2020-07-18 23:19:02 +02:00 |
node-packages
|
rust-analyzer: 2020-06-08 -> 2020-07-13
|
2020-07-14 20:15:55 +08: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
|
Merge pull request #93481 from marsam/update-tflint
|
2020-07-19 11:20:01 -05:00 |
web
|
deno: 1.1.3 -> 1.2.0
|
2020-07-14 11:25:24 +00:00 |