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	coqPackages_8_4.contribs: remove	2017-12-02 08:54:19 +00:00
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	specdris: init at 2017-11-11 (#31544)	2017-11-21 22:59:38 +00:00
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	lispPackages: A less aggressive way to manipulate ASDF search path, as suggested by Fare	2017-11-22 07:56:17 +01:00
lua-modules
misc	avr8burnomat: rehash	2017-12-05 21:51:17 +00:00
mobile	android-platform-tools: 26.0.0 -> 26.0.2	2017-12-03 16:58:03 -05:00
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	R: update package set	2017-12-01 13:48:26 +01:00
ruby-modules
tools	ocp-indent: 1.6.0 -> 1.6.1	2017-12-11 13:38:39 +00:00
web