coq-modules
|
iris: 3.4.0 -> 3.5.0; stdpp: 1.5.0 -> 1.6.0
|
2021-11-14 15:26:37 +01:00 |
embedded
|
trellis: fix build for darwin
|
2021-11-13 22:09:25 +00:00 |
interpreters
|
Merge pull request #145762 from NixOS/pkg/octave
|
2021-11-13 20:28:29 -03:00 |
nim-packages
|
nimPackages.spry: init at 0.9.0
|
2021-11-12 14:02:45 +01:00 |
node-packages
|
nodePackages: update
|
2021-11-14 18:40:17 +09:00 |
tools
|
Merge pull request #146007 from kira-bruneau/ccache
|
2021-11-14 12:06:25 -08:00 |
web
|
nodejs-17_x: 17.0.1 -> 17.1.0
|
2021-11-14 05:54:10 +00:00 |