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 |
libraries
|
Merge pull request #223271 from wineee/qt6fix
|
2023-05-26 16:11:16 +02: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.owl: 1.0.2 -> 1.1
|
2023-05-25 06:36:46 +02:00 |
php-packages
|
Merge pull request #233032 from jtojnar/reduce-me
|
2023-05-20 11:48:47 -04:00 |
tools
|
scala-cli: 1.0.0-RC2 -> 1.0.0
|
2023-05-26 05:14:26 -07:00 |
web
|
Merge pull request #233989 from 06kellyjac/deno
|
2023-05-26 14:07:02 +03:00 |