John Wiegley f5f71c08cd coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27		2018-03-05 13:07:16 -08:00
..
arduino
beam-modules
bower-modules/generic
compilers	ghcjs: mark build broken	2018-03-05 16:44:23 +01:00
coq-modules	coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27	2018-03-05 13:07:16 -08:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules
haskell-modules	hackage-packages.nix: automatic Haskell package set update	2018-03-05 16:45:01 +01:00
idris-modules
interpreters	Merge branch 'master'	2018-03-05 14:53:27 +01:00
java-modules
libraries	json-c-0-11: remove	2018-03-05 22:00:03 +01:00
lisp-modules	lispPackages.xembed: init	2018-02-26 11:17:36 +01:00
lua-modules	lua packages: propagate libs with a setupHook	2018-02-25 21:24:47 +00:00
misc	Merge branch 'master'	2018-03-05 14:53:27 +01:00
mobile	Merge branch 'master'	2018-03-05 14:53:27 +01:00
node-packages	nodePackages_8_x.npm: init at 5.6.0	2018-03-01 18:21:49 +08:00
ocaml-modules	Merge branch 'master'	2018-03-05 14:53:27 +01:00
perl-modules
pharo
pure-modules
python-modules	pythonPackages.wsproto: init at 0.11.0	2018-03-05 18:06:30 +01:00
qtcreator
r-modules	Merge branch 'master'	2018-03-05 14:53:27 +01:00
ruby-modules	buildRubyGem: Make testing easier	2018-03-03 23:31:00 -08:00
stm32/betaflight
tools	Merge pull request #36283 from aneeshusa/fix-vagrant-2.0.2	2018-03-05 18:03:02 +00:00
web	Merge pull request #35354 from markus1189/insomnia	2018-03-05 09:58:24 +00:00