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
|
bundler-HEAD: fix checksum
|
2015-09-03 12:22:12 +03:00 |
libraries
|
libixp-hg: init at 2012-12-02
|
2015-09-03 12:58:11 +02: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 |
python-modules
|
setuptools: 18.0.1 -> 18.2
|
2015-08-27 18:46:10 +02:00 |
qtcreator
|
qtcreator: refactor for using qt54
|
2015-08-24 11:34:28 +03:00 |
r-modules
|
R: fix Hydra build & evaluation errors
|
2015-08-06 20:13:50 +02:00 |
tools
|
cabal2nix: update to version 20150824-66-gd281a60
|
2015-09-02 17:46:39 +02:00 |
web
|
wml: fix build and unbreak
|
2015-09-03 11:10:06 +02:00 |