coq-modules
|
coqPackages.mathcomp-word: 2.1 → {2.2, 3.0}
|
2023-11-29 06:31:24 +01:00 |
interpreters
|
Merge pull request #270715 from figsoda/expr
|
2023-11-29 09:49:04 -05:00 |
libraries
|
Merge branch 'nix-plugins-14'
|
2023-11-29 07:01:21 -05:00 |
node-packages
|
serverless: use buildNpmPackage
|
2023-11-29 10:31:23 -06:00 |
ocaml-modules
|
ocamlPackages.caqti*: improve meta.license
|
2023-11-27 10:45:07 +01:00 |
php-packages
|
phpspy: init at 0.6.0
|
2023-11-29 10:28:13 +01:00 |
tools
|
Merge pull request #270723 from figsoda/component
|
2023-11-29 09:50:30 -05:00 |
web
|
Merge pull request #269658 from phaer/playwright-upgrade
|
2023-11-29 10:15:19 +01:00 |