John Wiegley 7f2305c431 Merge pull request #37919 from vbgl/coq-bignums-8.8 ... coqPackages.bignums: make it available for Coq 8.8		2018-03-27 10:11:30 -07:00
..
arduino
beam-modules
bower-modules/generic
compilers	Merge pull request #37812 from ryantm/auto-update/kotlin	2018-03-26 08:37:57 -04:00
coq-modules	coqPackages.bignums: make it available for Coq 8.8	2018-03-27 16:19:33 +00:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules
haskell-modules	Revert "justStaticExecutables: enable -dead_strip on mac to shrink closure"	2018-03-26 20:57:32 -05:00
idris-modules	Move all nixpkgs doc files in to the doc directory	2018-03-25 19:52:00 -04:00
interpreters	Merge pull request #37580 from dtzWill/update/erlangs	2018-03-25 20:59:25 +02:00
java-modules	treewide: use more HTTPS URLs	2018-03-24 22:04:25 -07:00
libraries	Merge branch 'riscv-limitations'	2018-03-27 11:32:38 -04:00
lisp-modules
lua-modules
misc	treewide: use more HTTPS URLs	2018-03-24 22:04:25 -07:00
mobile	xcodeenv: publish xcarchive directory in the output store path if requested	2018-03-22 15:02:09 +01:00
node-packages	Merge pull request #37749 from grahamc/nixpkgs-docs	2018-03-26 08:24:52 -04:00
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	pythonPackages.scapy: 2.3.3 -> 2.4.0	2018-03-27 18:27:55 +02:00
qtcreator
r-modules	Move all nixpkgs doc files in to the doc directory	2018-03-25 19:52:00 -04:00
ruby-modules
stm32/betaflight
tools	Merge pull request #34971 from Twey/master	2018-03-27 17:29:27 +02:00
web