coq-modules
|
coqPackages.coq-lsp: 0.1.6.1 -> 0.1.7
|
2023-07-21 13:28:51 +02:00 |
libraries
|
treewide: reduce packages I maintainer
|
2023-07-23 19:30:22 +02:00 |
nim-packages
|
nimPackages.eris: 20230201 -> 20230716
|
2023-07-20 22:56:19 +01:00 |
node-packages
|
nodePackages: update to latest
|
2023-07-20 20:48:58 +09:00 |
php-packages
|
php81Packages.phpstan: 1.10.15 -> 1.10.26
|
2023-07-22 12:59:26 +00:00 |
python2-modules
|
treewide: reduce packages I maintainer
|
2023-07-23 19:30:22 +02:00 |
python-modules
|
treewide: reduce packages I maintainer
|
2023-07-23 19:30:22 +02:00 |
tools
|
treewide: reduce packages I maintainer
|
2023-07-23 19:30:22 +02:00 |
web
|
Merge pull request #244593 from marsam/update-nodejs_20
|
2023-07-22 05:48:10 -05:00 |