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 |
interpreters
|
Python: remove 2.6
|
2017-02-13 14:42:24 +01:00 |
libraries
|
quickder: 1.0-RC1 -> 1.0-RC2
|
2017-02-24 10:02:13 +01:00 |
node-packages
|
nodePackages.mocha: init at 3.2.0
|
2017-02-12 23:12:13 +01:00 |
ocaml-modules
|
Revert "ocaml-lablgl: use camlp5"
|
2017-02-09 09:14:51 +01:00 |
qtcreator
|
qtcreator: 4.2.0 -> 4.2.1
|
2017-02-03 17:48:17 +03:00 |
tools
|
opengrok: 0.12.1 (broken) -> 0.12.5
|
2017-02-15 10:22:02 +01:00 |