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
|
Merge branch 'staging-next' into staging
|
2019-11-14 23:25:55 +01:00 |
lua-modules
|
luaPackages.luasystem: fix build on darwin
|
2019-11-15 05:08:45 +09:00 |
node-packages
|
Merge master into staging-next
|
2019-11-14 13:31:39 +01:00 |
python-modules
|
Merge branch 'staging-next' into staging
|
2019-11-14 23:25:55 +01:00 |
r-modules
|
rPackages.glmnet: Add missing dependency
|
2019-11-01 08:14:25 +10:00 |
tools
|
Merge branch 'staging-next' into staging
|
2019-11-14 23:25:55 +01:00 |
web
|
insomnia: 6.6.2 -> 7.0.3
|
2019-11-06 10:42:24 +01:00 |