Peter Simons 51b9c9b262 idris: fix build with GHC 7.8.x		2015-01-13 15:21:51 +01:00
..
arduino	Change occurrences of gcc to the more general cc	2014-12-26 11:06:21 -06:00
compilers	Merge pull request #5718 from ryantrinkle/master	2015-01-12 10:20:10 +01:00
coq-modules	coqPackages.fiat: enable building the examples as a test	2015-01-09 15:20:17 -06:00
eclipse
guile-modules	Change occurrences of gcc to the more general cc	2014-12-26 11:06:21 -06:00
haskell-modules	idris: fix build with GHC 7.8.x	2015-01-13 15:21:51 +01:00
interpreters	Merge pull request #5567 from ktosiek/test-kitchen	2015-01-08 14:56:55 +01:00
libraries	Merge pull request #5710 from alpmestan/update-haskell-taggy	2015-01-13 13:36:12 +00:00
lisp-modules
lua-modules
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
ocaml-modules	Adds ocaml-gtktop	2015-01-13 14:17:56 +01:00
perl-modules
pharo
pure-modules/pure-gsl
python-modules	pycrypto: preConfigure patch ups	2015-01-03 07:53:08 -05:00
qtcreator
r-modules	r-modules: update list of broken packages	2015-01-13 12:44:11 +01:00
ruby-modules
tools	Merge pull request #5722 from nckx/coan	2015-01-13 14:14:07 +01:00
web	jdkPath: Remove in favor of jdk.home	2015-01-07 14:55:41 -08:00