coq-modules
|
coqPackages.coq-lsp: 0.1.6.1 for Coq 8.17
|
2023-04-04 13:23:51 +02:00 |
embedded
|
openocd: enableParallelBuilding=true
|
2023-04-05 15:45:12 -07:00 |
misc
|
Merge pull request #222401 from Artturin/newlibincr
|
2023-04-06 19:50:31 +03:00 |
ocaml-modules
|
ocamlPackages.atdgen: 2.10.0 → 2.11.0
|
2023-04-06 08:05:41 +02:00 |
ruby-modules
|
bundix: 2.5.1 -> 2.5.2
|
2023-04-05 15:51:36 +10:00 |
skaware-packages
|
s6-rc: 0.5.3.3 -> 0.5.4.1
|
2023-04-06 09:46:35 +00:00 |
web
|
Merge pull request #224804 from 06kellyjac/deno-patch
|
2023-04-06 11:51:29 -05:00 |