Matthew Justin Bauer 738f9a9673 Merge pull request #39469 from vbgl/coq-contribs-containers-8.8 ... coqPackages.contribs.containers: make available for Coq 8.8		2018-05-01 10:21:58 -05:00
..
arduino
beam-modules
bower-modules/generic
compilers	treewide: http to https	2018-04-30 21:39:20 -07:00
coq-modules	Merge pull request #39469 from vbgl/coq-contribs-containers-8.8	2018-05-01 10:21:58 -05:00
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules	tree-wide: platforms = platforms.gnu; -> platforms = gnu ++ linux	2018-04-30 18:08:48 -05:00
haskell-modules	haskell-brick: update override for ghc 8.4.x	2018-05-01 09:30:23 +02:00
idris-modules
interpreters	Merge pull request #39528 from r-ryantm/auto-update/php	2018-04-28 11:47:31 +01:00
java-modules
libraries	Merge pull request #39435 from r-ryantm/auto-update/grib-api	2018-05-01 10:20:27 -05:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	python.pkgs.httplib2: 0.9.2 -> 0.11.3	2018-05-01 14:13:22 +02:00
r-modules
ruby-modules
tools	treewide: http to https	2018-04-30 21:39:20 -07:00
web	insomnia: 5.15.0 -> 5.16.0	2018-04-27 13:42:03 +02:00