coq-modules
|
coqPackages.aac-tactics: init at 8.17.0
|
2023-05-24 10:18:43 +02:00 |
embedded
|
wch-isp: 0.2.4 -> 0.2.5
|
2023-05-23 07:31:56 +00:00 |
misc
|
treewide: development: use top-level fetchPypi
|
2023-05-25 15:52:27 +03:00 |
mobile
|
androidenv: rename android sdk package name
|
2023-05-23 08:16:20 +02:00 |
node-packages
|
epgstation: use node 18
|
2023-05-22 05:24:17 +09:00 |
ocaml-modules
|
ocamlPackages.lwt: fix for OCaml 5.0
|
2023-05-26 08:38:21 +02:00 |
tools
|
Merge pull request #234007 from figsoda/cargo-edit
|
2023-05-25 22:17:06 +03:00 |
web
|
Merge pull request #233649 from nbraud/csslint
|
2023-05-23 19:52:24 +02:00 |