coq-modules
|
coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3
|
2019-11-08 09:42:01 +00:00 |
interpreters
|
hy: use python2, build fails with 3
|
2019-11-13 16:27:38 +01:00 |
libraries
|
rdkafka: 1.2.0 -> 1.2.2
|
2019-11-13 22:22:26 +01:00 |
lua-modules
|
Merge pull request #71802 from teto/luadoc
|
2019-10-24 18:04:12 +09:00 |
node-packages
|
texlab: init at 1.6.0
|
2019-11-13 07:49:21 -05:00 |
python-modules
|
pythonPackages.pwntools: 3.12 -> 4.0b0
|
2019-11-13 13:15:12 -08:00 |
r-modules
|
rPackages.glmnet: Add missing dependency
|
2019-11-01 08:14:25 +10:00 |
tools
|
make sure not to pollute the build directory
|
2019-11-13 22:28:57 +01:00 |
web
|
insomnia: 6.6.2 -> 7.0.3
|
2019-11-06 10:42:24 +01:00 |