coq-modules
|
coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3
|
2019-11-08 09:42:01 +00:00 |
interpreters
|
Merge master into staging-next
|
2019-11-14 13:31:39 +01:00 |
libraries
|
mesa: 19.2.3 -> 19.2.4
|
2019-11-14 16:42:45 +01:00 |
node-packages
|
Merge master into staging-next
|
2019-11-14 13:31:39 +01:00 |
python-modules
|
Merge master into staging-next
|
2019-11-14 13:31:39 +01:00 |
r-modules
|
rPackages.glmnet: Add missing dependency
|
2019-11-01 08:14:25 +10:00 |
tools
|
treewide: CAML_LD_LIBRARY_PATH may be undefined
|
2019-11-14 13:44:07 -05:00 |
web
|
insomnia: 6.6.2 -> 7.0.3
|
2019-11-06 10:42:24 +01:00 |