Pascal Wittmann 40d7ec4170 Merge pull request #5906 from aaronlevin/patch-2 ... Bump jwt version to 0.5.3		2015-01-23 20:23:03 +01:00
..
arduino	Change occurrences of gcc to the more general cc	2014-12-26 11:06:21 -06:00
compilers	cryptol: update 2.x branch to version 2.1.0 and remove broken 1.x build	2015-01-23 13:24:40 +01:00
coq-modules	coqPackages.fiat: enable building the examples as a test	2015-01-09 15:20:17 -06:00
eclipse
guile-modules	unmaintain a bunch of packages	2015-01-13 22:33:49 +01:00
haskell-modules	haskell-hxt: fix the build by disabling the Haddock phase	2015-01-23 18:55:16 +01:00
interpreters	mujs: updated to latest commit	2015-01-22 11:31:27 +01:00
libraries	Merge pull request #5906 from aaronlevin/patch-2	2015-01-23 20:23:03 +01:00
lisp-modules	Update CLX	2015-01-18 01:58:20 +03:00
lua-modules
misc	Fix user-facing typos (mainly in descriptions)	2015-01-01 15:45:32 +01:00
mobile	titaniumenv: Fix unpack step and change default iOS SDK to 8.1	2015-01-23 15:57:34 +00:00
ocaml-modules	Adds ocaml-hex	2015-01-23 09:22:14 +01:00
perl-modules
pharo
pure-modules/pure-gsl
python-modules	meld: bump to 3.12.3 (latest) version	2015-01-21 22:02:20 +01:00
qtcreator
r-modules	r-modules: fix evaluation and minor cleanups	2015-01-22 11:39:00 +01:00
ruby-modules
tools	nixpkgs: arcanist 20140924 -> 20150118	2015-01-23 10:42:23 -06:00
web	jdkPath: Remove in favor of jdk.home	2015-01-07 14:55:41 -08:00