Mario Rodas 2e89de61c5 dune: 1.4.0 -> 1.5.0 (#49848) ... * dune: 1.4.0 -> 1.5.1 * reason: use dune installPhase		2018-11-09 12:26:18 +00:00
..
arduino
beam-modules
bower-modules/generic
compilers	dune: 1.4.0 -> 1.5.0 (#49848)	2018-11-09 12:26:18 +00:00
coq-modules	Merge pull request #49780 from Zimmi48/give-default-version-of-ssreflect	2018-11-06 15:21:19 +00:00
dhall-modules	Add dhallPackages and add current Prelude	2018-11-04 16:43:41 +01:00
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules	haskell-src-meta: drop obsolete override	2018-11-08 17:39:13 +01:00
idris-modules
interpreters	joker: 0.9.7 -> 0.10.1	2018-11-08 20:19:06 -02:00
java-modules
libraries	Merge pull request #49887 from worldofpeace/libaccounts-glib/1.24	2018-11-09 12:16:59 +01:00
lisp-modules
lua-modules
misc
mobile	treewide: get rid of osx cmake flags	2018-11-05 13:30:42 -06:00
node-packages	nodePackages.ttf2eot: init at 2.0.0	2018-11-06 09:16:45 +00:00
ocaml-modules	Merge pull request #49822 from marsam/feature/update-flow	2018-11-07 15:05:57 +00:00
perl-modules
pharo
pure-modules
python-modules	Merge pull request #49959 from r-ryantm/auto-update/python3.6-websockets	2018-11-09 00:12:33 +00:00
r-modules
ruby-modules	gem-config: add iconv (#49910)	2018-11-08 17:46:29 +01:00
tools	dune: 1.4.0 -> 1.5.0 (#49848)	2018-11-09 12:26:18 +00:00
web