compilers
|
Merge pull request #8491 from vbgl/compcert-2.5
|
2015-08-26 16:16:58 +02:00 |
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 |
haskell-modules
|
haskell: fix freenect and hcwiid
|
2015-08-26 17:36:26 +02:00 |
interpreters
|
pypy: wrap original, not symlink
|
2015-08-26 09:35:48 -05:00 |
lisp-modules
|
ASDF: 3.1.4 -> 3.1.5
|
2015-08-08 21:01:31 +03:00 |
pharo
|
Update Pharo VM and Launcher
|
2015-08-08 08:22:07 +02:00 |
pure-modules
|
pure-octave: mark as broken
|
2015-08-06 12:52:34 +02:00 |
qtcreator
|
qtcreator: fix hash
|
2015-07-04 03:38:53 +03:00 |
r-modules
|
R: fix Hydra build & evaluation errors
|
2015-08-06 20:13:50 +02:00 |
tools
|
openocd: enable support for CMSIS-DAP debuggers
|
2015-08-26 22:06:08 +02:00 |
web
|
iojs: 2.5.0 -> 3.0.0
|
2015-08-05 02:59:20 +02:00 |