coq-modules
|
coqPackages.coq-record-update: 0.3.0 → 0.3.1
|
2022-08-18 10:50:56 +02:00 |
embedded
|
pyocd: init at 0.34.1
|
2022-08-17 13:00:54 +02:00 |
interpreters
|
janet: 1.23.0 -> 1.24.0
|
2022-08-18 09:39:41 +08:00 |
libraries
|
ldns: 1.8.1 -> 1.8.3
|
2022-08-18 10:32:27 -05: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 |
python-modules
|
Merge pull request #187285 from onny/xdis
|
2022-08-18 22:25:59 +01:00 |
tools
|
Merge pull request #187273 from SuperSandro2000/cvise
|
2022-08-18 22:56:51 +02:00 |
web
|
Merge pull request #187084 from Mic92/flyctl
|
2022-08-18 11:07:14 -04:00 |