coq-modules
|
coqPackages.VST: enable for Coq 8.16
|
2022-10-11 07:49:52 +02:00 |
embedded
|
Merge master into staging-next
|
2022-10-08 12:01:37 +00:00 |
lua-modules
|
Merge master into staging-next
|
2022-10-06 18:03:10 +00:00 |
misc
|
brev-cli: 0.6.116 -> 0.6.118
|
2022-10-06 15:56:40 +08:00 |
nim-packages
|
nim_builder: enable parallel building
|
2022-10-08 11:28:39 -05:00 |
node-packages
|
nodePackages.auto-changelog: init at 2.4.0
|
2022-10-07 23:59:52 +02:00 |
ocaml-modules
|
Merge master into staging-next
|
2022-10-10 12:01:42 +00:00 |
ruby-modules
|
Merge branch 'master' into staging-next
|
2022-10-08 10:20:07 +02:00 |
tools
|
Merge pull request #195348 from Tomahna/metals-0.11.9
|
2022-10-11 14:44:39 +11:00 |