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 |
interpreters
|
luau: 0.570 -> 0.571
|
2023-04-09 04:20:00 +00:00 |
libraries
|
Merge pull request #225251 from NickCao/krun
|
2023-04-09 16:48:55 +00:00 |
misc
|
Merge pull request #222401 from Artturin/newlibincr
|
2023-04-06 19:50:31 +03:00 |
node-packages
|
nodePackages.pnpm: 7.29.1 -> 8.1.1
|
2023-04-07 10:08:04 -04:00 |
r-modules
|
rPackages: CRAN and BioC update
|
2023-04-06 09:11:41 +10: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 |
tools
|
Merge pull request #225149 from aaronjheng/okteto
|
2023-04-09 06:53:08 -05:00 |
web
|
Merge pull request #224804 from 06kellyjac/deno-patch
|
2023-04-06 11:51:29 -05:00 |