compilers
|
Merge pull request #60410 from manveru/mint-update
|
2019-05-01 20:20:40 +02:00 |
coq-modules
|
coqPackages.Verdi: 20181102 -> 20190202
|
2019-04-25 08:35:20 +02:00 |
libraries
|
mdds: 1.3.1 -> 1.4.3
|
2019-05-02 19:04:38 +02:00 |
ocaml-modules
|
ocamlPackages.tyxml: 4.2.0 -> 4.3.0
|
2019-04-28 17:42:36 +02:00 |
ruby-modules
|
gem-config: add idn-ruby, rpam2, cld3
|
2019-05-02 02:41:32 +02:00 |
tools
|
Merge pull request #60393 from Infinisil/leksah
|
2019-05-02 18:23:52 +02:00 |
web
|
nodejs-11_x: 11.14.0 -> 11.15.0
|
2019-05-01 00:15:11 +02:00 |