compilers
|
Merge master into staging-next
|
2022-04-17 00:02:19 +00:00 |
coq-modules
|
coqPackages.smtcoq: init at itp22
|
2022-04-13 19:38:01 -05:00 |
interpreters
|
Merge master into staging-next
|
2022-04-16 12:01:10 +00:00 |
libraries
|
glm: fixup with other compilers than gcc >= 11
|
2022-04-17 09:41:26 +02:00 |
node-packages
|
add coc-flutter NPM dependency
|
2022-04-16 00:25:38 +01:00 |
php-packages
|
php74Packages.composer: 2.3.3 -> 2.3.5
|
2022-04-15 15:32:36 +02:00 |
python-modules
|
Merge master into staging-next
|
2022-04-17 00:02:19 +00:00 |
ruby-modules
|
Merge staging-next into staging
|
2022-04-14 12:02:14 +00:00 |
tools
|
Merge master into staging-next
|
2022-04-17 00:02:19 +00:00 |