coq-modules
|
coq-QuickChick: 21f50a02 -> 20150605
|
2015-08-18 21:28:33 +02:00 |
eclipse
|
ecj: require jdk7 instead of jdk
|
2015-07-27 17:37:37 +02:00 |
interpreters
|
re-indent; make rubies overridable
|
2015-09-26 05:55:59 -07:00 |
libraries
|
Merge branch 'gnome-staging' into staging
|
2015-09-26 14:16:19 +02:00 |
lisp-modules
|
ASDF: 3.1.4 -> 3.1.5
|
2015-08-08 21:01:31 +03:00 |
ocaml-modules
|
ocaml-fontconfig: init at 20131103
|
2015-09-19 18:27:14 +02:00 |
pharo
|
xlibs: replace occurrences by xorg
|
2015-09-15 12:54:34 +02:00 |
python-modules
|
Merge: xlibs and x11 attribute cleanup
|
2015-09-23 10:42:34 +02:00 |
qtcreator
|
qtcreator: add missing QML modules (fixes #9629)
|
2015-09-03 19:24:58 +02:00 |
r-modules
|
xlibs: replace occurrences by xorg
|
2015-09-15 12:54:34 +02:00 |
web
|
add nodejs-4.1.0
|
2015-09-23 16:13:34 -07:00 |