Mario Rodas c1fc59ce75 Merge pull request #66162 from r-ryantm/auto-update/souffle ... souffle: 1.5.1 -> 1.6.1		2019-08-06 06:22:05 -05:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
compilers	Merge pull request #66162 from r-ryantm/auto-update/souffle	2019-08-06 06:22:05 -05:00
coq-modules	coqPackages.flocq: fetch sources from gitlab	2019-08-05 09:21:02 +00:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules	hackage-packages.nix: automatic Haskell package set update	2019-08-05 07:50:54 +02:00
idris-modules
interpreters	Merge pull request #65736 from fgaz/duktape/2.4.0	2019-08-03 08:28:56 +02:00
java-modules
libraries	dav1d: Add withTools but disable all tools by default	2019-08-06 12:51:12 +02:00
lisp-modules
lua-modules	lua*Packages.cqueues: fixup darwin build	2019-08-05 22:51:51 +02:00
misc
mobile
node-packages
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	python37Packages.qtawesome: 0.5.7 -> 0.6.0	2019-08-06 15:46:14 +09:00
r-modules
ruby-modules
tools	stlink: 1.3.0 -> 1.5.1	2019-08-06 15:43:44 +09:00
web	twitterBootstrap3: drop	2019-08-03 04:20:00 -05:00