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 |
lua-modules
|
luaPackages.luv: 1.43.0-0 -> 1.44.2-1
|
2023-04-10 01:27:33 +02:00 |
misc
|
brev-cli: 0.6.213 -> 0.6.215
|
2023-04-09 16:51:56 +00: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 |
web
|
Merge pull request #221441 from pranaysashank/patch-2
|
2023-04-10 09:58:25 +03:00 |