coq-modules
|
coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3
|
2019-11-08 09:42:01 +00:00 |
interpreters
|
Merge branch 'master' into staging-next
|
2019-11-09 07:26:53 +01:00 |
libraries
|
Merge pull request #72712 from NixOS/staging-next
|
2019-11-12 14:32:50 +01:00 |
node-packages
|
nodePackages: Updates
|
2019-11-10 14:31:00 -05:00 |
r-modules
|
rPackages.glmnet: Add missing dependency
|
2019-11-01 08:14:25 +10:00 |
tools
|
Merge pull request #72913 from markus1189/jo-1-3
|
2019-11-13 00:50:13 +01:00 |
web
|
insomnia: 6.6.2 -> 7.0.3
|
2019-11-06 10:42:24 +01:00 |