coq-modules
|
coqPackages.QuickChick: 1.6.5 → 2.0.1
|
2023-12-13 06:11:56 +01:00 |
embedded
|
platformio: 6.1.6 -> 6.1.11
|
2023-12-16 08:27:46 +01:00 |
interpreters
|
evcxr: 0.16.0 -> 0.17.0
|
2023-12-17 09:07:04 +00:00 |
lisp-modules
|
sbclPackages.nasdf: deprecate
|
2023-12-13 19:36:13 +08:00 |
misc
|
juce: 7.0.7 -> 7.0.9
|
2023-12-14 05:49:33 +11:00 |
ocaml-modules
|
ocamlPackages.angstrom: 0.15.0 → 0.16.0
|
2023-12-15 06:40:48 +01:00 |
php-packages
|
php.extensions.xdebug: 3.3.0 -> 3.3.1
|
2023-12-16 11:12:36 +01:00 |
web
|
Merge pull request #274722 from shyim/update-bun
|
2023-12-17 13:37:28 +01:00 |