compilers
|
Merge pull request #167999 from RaitoBezarius/p4c
|
2022-08-19 19:32:11 +02:00 |
coq-modules
|
coqPackages.coq-record-update: 0.3.0 → 0.3.1
|
2022-08-18 10:50:56 +02:00 |
embedded
|
Merge pull request #186991 from BattleCh1cken/master
|
2022-08-20 16:57:44 +02:00 |
mobile
|
androidenv: fix build of build-tools >= 33
|
2022-08-16 09:37:44 +02:00 |
php-packages
|
php81.packages.composer: 2.3.10 -> 2.4.0
|
2022-08-16 21:20:46 +02:00 |
tools
|
Merge pull request #187551 from marsam/update-millet
|
2022-08-20 10:40:38 -05:00 |