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 |
perl-modules
|
buildPerlPackage: remove postFixup
|
2019-10-22 07:07:18 +00:00 |
python-modules
|
python: rl-coach: 0.12.1 -> 1.0.1
|
2019-10-27 16:26:52 +01:00 |
web
|
Merge pull request #71796 from marsam/update-nodejs-10_x
|
2019-10-23 19:06:30 -05:00 |