compilers
|
gcc-4.6: bump to 4.6.4
|
2014-12-14 16:24:31 +01:00 |
coq-modules
|
Adds coq-interval
|
2014-12-08 09:15:13 +01:00 |
interpreters
|
Add rubyLibs.redis
|
2014-12-16 13:10:35 -05:00 |
libraries
|
Merge pull request #5373 from daogames/este/czmq
|
2014-12-18 10:32:44 +01:00 |
misc
|
avr8-burn-omat: update to version 2.1.2
|
2014-12-15 22:31:22 +01:00 |
ocaml-modules
|
ulex: set platforms
|
2014-12-18 10:01:50 +01:00 |
perl-modules
|
fix a bunch of perl modules
|
2014-12-10 01:38:00 +01:00 |
python-modules
|
Update pylint and astroid
|
2014-12-16 16:54:41 +01:00 |
tools
|
Merge pull request #5380 from iyzsong/jenkins
|
2014-12-18 09:58:48 +01:00 |
web
|
Fix wml build, don't know why it worked before
|
2014-12-18 00:43:13 +01:00 |