compilers
|
mozart: refactoring
|
2017-02-16 14:51:08 +01:00 |
coq-modules
|
coqPackages.interval: 2.2.1 -> 3.1.1
|
2017-02-11 14:02:19 +01:00 |
haskell-modules
|
Merge branch 'master' into staging
|
2017-02-16 19:02:37 +01:00 |
interpreters
|
guile: fix include path in guile-2.0.pc
|
2017-02-14 11:22:29 +01:00 |
libraries
|
neon: 0.30.1 -> 0.30.2
|
2017-02-17 00:11:29 +01:00 |
node-packages
|
nodePackages.mocha: init at 3.2.0
|
2017-02-12 23:12:13 +01:00 |
python-modules
|
Merge branch 'master' into staging
|
2017-02-16 19:02:37 +01:00 |
tools
|
opengrok: 0.12.1 (broken) -> 0.12.5
|
2017-02-15 10:22:02 +01:00 |