coq-modules
|
coqPackages.gappalib: 1.4.3 → 1.4.4
|
2020-08-30 07:26:32 +02:00 |
libraries
|
kdesu: update patch to use qCWarning
|
2020-08-30 17:27:04 +02:00 |
node-packages
|
nodePackages: netlify-cli init at 2.59.1
|
2020-08-26 18:14:09 -07:00 |
ocaml-modules
|
ocamlPackages.webbrowser: init at 0.6.1
|
2020-08-30 07:52:40 +02:00 |
python-modules
|
pythonPackages.afdko: init at 3.5.0
|
2020-08-30 10:17:23 -07:00 |
tools
|
Merge pull request #96540 from mredaelli/so
|
2020-08-30 10:23:12 +02:00 |
web
|
nodejs-14_x: 14.8.0 -> 14.9.0
|
2020-08-28 14:09:36 +02:00 |