coq-modules
|
elpi: 1.12.0 -> 1.13.0
|
2021-02-18 22:26:10 +01:00 |
libraries
|
gexiv2: 0.12.1 -> 0.12.2
|
2021-02-25 12:03:25 +01:00 |
node-packages
|
Merge pull request #113922 from cpcloud/pyright
|
2021-02-22 00:41:36 +00:00 |
ocaml-modules
|
ocamlPackages.yojson: use Dune 2
|
2021-02-25 11:02:25 +01:00 |
octave-modules
|
octave.pkgs.zeromq: init at 1.5.2
|
2021-02-24 21:00:52 +02:00 |
ruby-modules
|
gitlab: 13.7.4 -> 13.8.4 (#112836)
|
2021-02-17 22:55:14 +01:00 |
tools
|
Merge pull request #114253 from pborzenkov/gops
|
2021-02-25 09:10:16 +01:00 |