John Wiegley d8a46149eb Merge pull request #3259 from MP2E/sbv31_update ... Update SBV to v3.1		2014-07-13 17:50:49 -05:00
..
arduino
compilers	ghc 7.0.2 and 7.0.3 are "broken" because of build errors with recent versions of GCC	2014-07-12 15:13:59 +02:00
eclipse
guile-modules
interpreters	lua-5.1, lua-5.2: fix typo / copy-n-paste mistake in configurePhase	2014-07-11 07:17:11 +02:00
libraries	Merge pull request #3259 from MP2E/sbv31_update	2014-07-13 17:50:49 -05:00
lisp-modules	fetchbzr, fetchdarcs, fetchhg: use rev attr	2014-06-28 21:06:10 +02:00
misc	avr-gcc: set meta.platforms = linux	2014-05-31 18:10:29 +02:00
mobile	Fix xpwn on Darwin and other case-insensitive file systems	2014-06-06 18:06:03 -04:00
ocaml-modules	Adds yojson.	2014-07-05 09:00:12 +02:00
perl-modules
python-modules	tables: Define license	2014-07-05 21:41:04 +02:00
qtcreator	qt5,qtcreator: update to qt-5.2.1 and qtcreator-3.1.	2014-06-11 21:30:21 +02:00
r-modules	Added CRAN archive to R package derivation to prevent R expressions from	2014-07-08 11:02:05 +10:00
ruby-modules
tools	haskell-codex: updated 0.1.0.0 -> 0.1.0.1	2014-07-10 21:25:56 -05:00
web	nodejs: Update to 0.10.29	2014-06-29 11:47:07 +08:00