coq-modules
|
Bump a few things compiling with Coq 8.19
|
2023-12-19 20:20:53 +01:00 |
embedded
|
platformio-core: install shell completion
|
2023-12-19 20:42:53 +09:00 |
haskell-modules
|
nix-serve-ng: unbreak.
|
2023-12-19 13:24:01 +01:00 |
interpreters
|
evcxr: 0.16.0 -> 0.17.0
|
2023-12-17 09:07:04 +00:00 |
lua-modules
|
luaPackages.nlua: init at 0.1
|
2023-12-17 22:59:28 +01:00 |
web
|
Merge pull request #274477 from phaer/playwright-cacert
|
2023-12-18 08:10:32 +01:00 |