coq-modules
|
coqPackages.flocq: 2.5.2 -> 2.6.0
|
2017-10-18 23:21:37 +00:00 |
guile-modules
|
Merge branch 'master' into staging
|
2017-10-02 00:22:12 +00:00 |
interpreters
|
erlang: fix ssl on darwin
|
2017-10-14 12:36:15 +02:00 |
ocaml-modules
|
ocamlgraph: 1.8.7 -> 1.8.8
|
2017-10-18 19:08:16 +00:00 |
qtcreator
|
qtcreator: 4.4.0 -> 4.4.1
|
2017-10-07 11:27:29 +02:00 |
r-modules
|
R: update package set
|
2017-09-29 15:21:09 +02:00 |
tools
|
jenkins: 2.84 -> 2.85
|
2017-10-19 08:57:37 -06:00 |
web
|
nodejs: 8.6.0 -> 8.7.0
|
2017-10-16 02:36:49 +02:00 |