arduino
|
Change occurrences of gcc to the more general cc
|
2014-12-26 11:06:21 -06:00 |
compilers
|
rustc: Cleanup HEAD and 0.12 derivations
|
2015-01-08 08:37:43 +00:00 |
coq-modules
|
Adds coq-interval
|
2014-12-08 09:15:13 +01:00 |
interpreters
|
Merge pull request #5601 from robberer/tmp1
|
2015-01-08 13:22:08 +01:00 |
libraries
|
Merge pull request #5621 from prikhi/add-workrave
|
2015-01-08 14:41:29 +01:00 |
misc
|
Fix user-facing typos (mainly in descriptions)
|
2015-01-01 15:45:32 +01:00 |
mobile
|
java: Normalize to the default jre / jdk
|
2015-01-07 14:55:41 -08:00 |
perl-modules
|
fix a bunch of perl modules
|
2014-12-10 01:38:00 +01:00 |
pharo
|
Update pharo vm
|
2014-12-04 16:41:20 +01:00 |
python-modules
|
pycrypto: preConfigure patch ups
|
2015-01-03 07:53:08 -05:00 |
r-modules
|
Mark R packages h2o, jvmr, and qtbase as broken.
|
2014-12-04 15:00:54 +01:00 |
tools
|
Merge pull request #5636 from Ericson2314/master
|
2015-01-08 13:17:07 +01:00 |
web
|
jdkPath: Remove in favor of jdk.home
|
2015-01-07 14:55:41 -08:00 |