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
|
Merge commit 'a6f6c0e' into master.upstream
|
2015-09-15 12:16:49 -07:00 |
libraries
|
libs3: Only builds on linux
|
2015-09-17 15:41:23 -07:00 |
lisp-modules
|
ASDF: 3.1.4 -> 3.1.5
|
2015-08-08 21:01:31 +03:00 |
ocaml-modules
|
ocsigen-server: fix the bytecode server
|
2015-09-17 20:58:35 +02:00 |
pharo
|
Update Pharo VM and Launcher
|
2015-08-08 08:22:07 +02:00 |
pure-modules
|
pure-octave: 0.6 -> 0.7
|
2015-09-11 10:39:05 +02:00 |
python-modules
|
Merge #9665: wxPython: update & refactor
|
2015-09-17 22:10:35 +02:00 |
qtcreator
|
qtcreator: add missing QML modules (fixes #9629)
|
2015-09-03 19:24:58 +02:00 |
tools
|
gdb: Update to 7.10
|
2015-09-17 15:56:42 +02:00 |
web
|
wml: fix build and unbreak
|
2015-09-03 11:10:06 +02:00 |