Benjamin Hipple ef2995988a Merge pull request #83343 from vbgl/coq-coqhammer-1.1.1 ... coqPackages.coqhammer: 1.1 → 1.1.1		2020-03-28 23:20:37 -04:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #83472 from Mic92/propragate-darwin-go	2020-03-28 06:57:59 +00:00
coq-modules	Merge pull request #83343 from vbgl/coq-coqhammer-1.1.1	2020-03-28 23:20:37 -04:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters	Merge pull request #83472 from Mic92/propragate-darwin-go	2020-03-28 06:57:59 +00:00
java-modules
libraries	Merge pull request #83414 from dasj19/qbittorrent-update	2020-03-28 23:02:56 -04:00
lisp-modules
lua-modules
misc
mobile
node-packages	nodePackages: use node2nix from git	2020-03-28 06:48:56 +00:00
ocaml-modules
perl-modules
pharo
pure-modules
python-modules	Merge pull request #83546 from r-ryantm/auto-update/python2.7-mayavi	2020-03-28 22:10:20 -04:00
r-modules
ruby-modules
tools	Merge pull request #83635 from jtojnar/hydra-fix-eval	2020-03-29 03:00:30 +02:00
web