coq-modules
|
coqPackages.flocq: 3.0.0 -> 3.1.0
|
2019-02-15 10:03:39 +01:00 |
interpreters
|
Merge branch 'master' into staging-next
|
2019-02-09 10:15:17 +01:00 |
libraries
|
Merge branch 'auto-update/qalculate-gtk'
|
2019-02-16 17:25:47 +01:00 |
lua-modules
|
luaPackages.lua-iconv: move to generated
|
2019-02-13 14:13:39 +09:00 |
node-packages
|
nodePackages_10_x: add markdown-link-check
|
2019-02-13 21:10:14 +07:00 |
python-modules
|
python: pandas: 0.23.4 -> 0.24.1
|
2019-02-16 12:11:28 +01:00 |
r-modules
|
update R package set
|
2019-02-10 11:16:19 +01:00 |
tools
|
mbed-cli: 1.8.3 -> 1.9.1
|
2019-02-16 21:06:34 +01:00 |
web
|
Merge pull request #54287 from marsam/update-node-v11
|
2019-02-08 17:39:47 -05:00 |