Vincent Laporte b212125b54 Merge pull request #32250 from vbgl/coq-clean ... coq_HEAD, coqPackages_8_4: remove		2017-12-11 18:13:24 +01:00
..
arduino
beam-modules
bower-modules/generic
compilers	mono50: disable parallel building	2017-12-11 10:46:15 +00:00
coq-modules
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules
haskell-modules	pandoc2: fix Haskell dependencies	2017-12-07 21:25:29 +00:00
idris-modules
interpreters	Merge older staging	2017-12-11 09:49:56 +01:00
java-modules
libraries	librem: 0.5.0 -> 0.5.2	2017-12-11 15:01:37 +00:00
lisp-modules
lua-modules
misc	avr8burnomat: rehash	2017-12-05 21:51:17 +00:00
mobile
node-packages	services.statsd: add simple test	2017-12-04 16:56:16 +01:00
ocaml-modules	ocamlPackages.markup: 0.7.4 -> 0.7.5	2017-12-10 13:01:40 +01:00
perl-modules
pharo
pure-modules
python-modules	python.pkgs.lark-parser: init at 2017-12-10	2017-12-11 13:57:24 +01:00
qtcreator	qtcreator: restrict to intel linux	2017-12-07 14:51:57 +00:00
r-modules
ruby-modules
tools	ocp-indent: 1.6.0 -> 1.6.1	2017-12-11 13:38:39 +00:00
web