John Wiegley e582c41482 coqPackages.mathcomp,ssreflect: 1.5 -> 1.6 ... See the INSTALL file in the mathcomp package for instructions on upgrading projects from 1.5 to 1.6. The 1.6 version works with both Coq 8.4 and 8.5.		2015-12-20 11:12:23 -08:00
..
arduino
compilers	matter-compiler: initial expression, fixes #11780	2015-12-18 15:49:57 +01:00
coq-modules	coqPackages.mathcomp,ssreflect: 1.5 -> 1.6	2015-12-20 11:12:23 -08:00
dotnet-modules/patches
eclipse
erlang-modules	Add shell env to buildHex packages.	2015-12-19 00:07:54 +01:00
go-modules	Rename 'emery' maintainer handle to 'ehmry', fixes #11493	2015-12-05 23:06:20 +01:00
guile-modules
haskell-modules	haskell-gtksourceview2: add override to fix build	2015-12-18 11:37:44 +01:00
idris-modules	idris-wl-pprint: Use fetchFromGitHub	2015-11-28 05:53:50 -05:00
interpreters	php: 7.0.0 -> 7.0.1	2015-12-18 09:41:51 +01:00
libraries	Merge pull request #11839 from ttuegel/qt-5.4	2015-12-20 08:11:52 -06:00
lisp-modules
lua-modules
misc
mobile
ocaml-modules	ocaml-iso8601: init at 0.2.4	2015-12-15 22:43:25 +01:00
perl-modules	perl-DBIx-Class: fix tests	2015-11-30 14:50:42 +01:00
pharo
pure-modules
python-modules	pyqt5: Qt 5 infrastructure update	2015-12-20 07:56:39 -06:00
qtcreator	qtcreator: Qt 5 infrastructure update	2015-12-20 07:56:53 -06:00
r-modules	r-modules: update list of broken packages	2015-11-25 11:39:28 +01:00
ruby-modules
tools	include-what-you-use: use unversioned llvm attribute	2015-12-20 03:22:24 +01:00
web	nodejs: fix naming of nodejs to fit into their versioning model, fixes #11497	2015-12-06 21:57:24 +01:00