coq-modules
|
coqPackages.serapi: fix build with Coq 8.16
|
2023-09-26 14:10:44 +02:00 |
embedded
|
svdtools: 0.3.0 -> 0.3.1
|
2023-09-27 18:24:10 -07:00 |
haskell-modules
|
treewide: Fix typos
|
2023-09-28 19:06:13 +02:00 |
lisp-modules-new-obsolete
|
treewide: Fix typos
|
2023-09-28 19:06:13 +02:00 |
misc
|
treewide: Fix typos
|
2023-09-28 19:06:13 +02:00 |
ocaml-modules
|
alt-ergo: 2.4.3 → 2.5.1
|
2023-09-29 06:43:44 +02:00 |
php-packages
|
phpPackages.composer: 2.6.3 -> 2.6.4
|
2023-09-29 12:25:04 +02:00 |
web
|
Merge pull request #258016 from marsam/update-nodejs_20
|
2023-09-29 09:21:40 -05:00 |