Ben Siraphob 15e5f8ba8e Merge pull request #146305 from Ptival/coq-bits-1.1.0 ... coq-bits: 1.0.0 -> 1.1.0		2021-11-16 18:17:01 -06:00
..
androidndk-pkgs
beam-modules
bower-modules/generic
chez-modules
compilers	Merge pull request #146280 from ilkecan/flutter-passthru-dart	2021-11-16 18:45:34 -03:00
coq-modules	coq-bits: 1.0.0 -> 1.1.0	2021-11-16 13:43:32 -08:00
dhall-modules
dotnet-modules	python-language-server: Update dependencies	2021-11-16 15:54:33 +01:00
em-modules/generic
embedded
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters	cbqn-standalone: fix installPhase on darwin	2021-11-15 22:36:47 +01:00
java-modules
libraries	Merge pull request #145273 from fabaff/fix-qiling	2021-11-16 19:59:30 +01:00
lisp-modules
lua-modules
misc	treewide: pass and inherit writeShellScript in node2nix packages	2021-11-16 16:08:23 +01:00
mobile
nim-packages
node-packages	nodePackages: update package set	2021-11-16 10:59:10 +01:00
ocaml-modules	ocamlPackages.sodium: build on later OCaml versions	2021-11-16 14:24:10 +01:00
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	Merge pull request #145916 from fabaff/bump-xknx	2021-11-16 21:46:08 +01:00
quickemu
r-modules
ruby-modules
scheme-modules/scheme-bytestructures
tools	Merge pull request #145657 from dunklecat/master	2021-11-16 19:19:16 +01:00
web	treewide: pass and inherit writeShellScript in node2nix packages	2021-11-16 16:08:23 +01:00