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 |
web
|
deno: fix darwin build
|
2023-12-19 23:21:56 +00:00 |