coq-modules
|
coqPackages.coq-bits: init at 20190812
|
2019-10-24 06:24:33 +00:00 |
interpreters
|
php: 7.2.23 -> 7.2.24, 7.3.10 -> 7.3.11
|
2019-10-25 03:09:19 -04:00 |
libraries
|
Merge staging-next into staging
|
2019-10-27 15:28:19 +01:00 |
lua-modules
|
Merge pull request #71802 from teto/luadoc
|
2019-10-24 18:04:12 +09:00 |
misc
|
treewide: mark some broken packages as broken
|
2019-10-08 17:14:26 +02:00 |
python-modules
|
python: coveralls: 1.5.1 -> 1.8.2
|
2019-10-27 16:09:09 +01:00 |
web
|
Merge pull request #71796 from marsam/update-nodejs-10_x
|
2019-10-23 19:06:30 -05:00 |