Ben Siraphob 92c5a672b3 coqPackages.autosubst: 5b40a32e -> 1.7 and fix build		2021-05-10 12:40:32 +02:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
chez-modules
compilers	gleam: 0.15.0 -> 0.15.1	2021-05-09 14:37:43 +09:00
coq-modules	coqPackages.autosubst: 5b40a32e -> 1.7 and fix build	2021-05-10 12:40:32 +02:00
dhall-modules
dotnet-modules
em-modules/generic
gnuradio-modules
go-modules
go-packages
guile-modules
haskell-modules
idris-modules	Merge pull request #122181 from divanorama/patch-2	2021-05-09 17:40:17 +02:00
interpreters	falcon: 2013-09-19 -> unstable-2018-10-23	2021-05-10 00:03:10 +07:00
java-modules
libraries	glfw: 3.3.3 -> 3.3.4	2021-05-09 11:40:24 -07:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules
octave-modules
perl-modules
pharo
php-packages
pure-modules
python-modules	python39Packages.python-toolbox: unbreak	2021-05-10 00:10:37 -07:00
r-modules
ruby-modules
tools	cargo-limit: fix build on darwin	2021-05-10 00:05:38 -07:00
web