coq-modules
|
coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2
|
2015-09-27 10:24:25 +02:00 |
interpreters
|
Merge #10229: update and fix sbcl and cmucl
|
2015-10-09 18:49:01 +02:00 |
libraries
|
folly: 2015-09-17 -> 0.57.0
|
2015-10-15 17:07:38 +03:00 |
ocaml-modules
|
ocaml-llvm: init at 3.7.0
|
2015-10-16 13:28:54 +02:00 |
pharo
|
xlibs: replace occurrences by xorg
|
2015-09-15 12:54:34 +02:00 |
qtcreator
|
qtcreator: add missing QML modules (fixes #9629)
|
2015-09-03 19:24:58 +02:00 |
web
|
nodejs-0.10: apply gyp patches to node-gyp in fixup
|
2015-10-16 18:37:50 -07:00 |