John Wiegley 79aa720020 Merge pull request #30708 from maximedenes/fix-quickchick ... coqPackages.QuickChick: remove support for coq 8.7		2017-10-26 10:18:53 -07:00
..
arduino
beam-modules
bower-modules/generic
compilers	Merge pull request #30820 from adisbladis/go_1_9_2	2017-10-26 10:08:19 -04:00
coq-modules	Merge pull request #30708 from maximedenes/fix-quickchick	2017-10-26 10:18:53 -07:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules
haskell-modules
idris-modules
interpreters
java-modules
libraries
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules	ocamlPackages.ocplib-endian: 0.8 -> 1.0	2017-10-26 00:38:55 +00:00
perl-modules
pharo
pure-modules
python-modules	Merge pull request #30780 from veprbl/rootpy_1.0.1	2017-10-25 21:09:25 +01:00
qtcreator
r-modules
ruby-modules
tools	selendroid: 0.11.0 -> 0.17.0	2017-10-26 17:56:16 +02:00
web