coq-modules
|
coqPackages.coqeal: 1.0.6 -> 1.1.0
|
2021-11-05 14:37:53 +01:00 |
embedded
|
arduino-core: cleanup
|
2021-11-05 21:06:50 +01:00 |
interpreters
|
Merge staging-next into staging
|
2021-11-08 12:02:03 +00:00 |
libraries
|
Merge staging-next into staging
|
2021-11-08 12:02:03 +00:00 |
lua-modules
|
ljsyscall: fix build
|
2021-11-06 13:47:19 +01:00 |
mobile
|
treewide: use mirror URLs where available
|
2021-11-06 01:56:39 +00:00 |
node-packages
|
cspell: init at 5.12.6 (#144954)
|
2021-11-07 02:15:02 +01:00 |
ocaml-modules
|
treewide: use mirror URLs where available
|
2021-11-06 01:56:39 +00:00 |
php-packages
|
phpmd: Fix meta.broken
|
2021-11-07 21:50:53 +01:00 |
r-modules
|
Merge pull request #144820 from NixOS/r-updates
|
2021-11-07 08:12:10 +11:00 |
tools
|
Merge staging-next into staging
|
2021-11-08 12:02:03 +00:00 |