Vincent Laporte a379617057 coqPackages.stdpp: 1.2.1 → 1.4.0 ... coqPackages.iris: 3.2.0 → 3.3.0		2020-08-16 08:22:55 +02:00
..
androidndk-pkgs
arduino
beam-modules
bower-modules/generic
chez-modules
compilers	buildRustPackage: remove platform.all from packages	2020-08-16 12:48:18 +10:00
coq-modules	coqPackages.stdpp: 1.2.1 → 1.4.0	2020-08-16 08:22:55 +02:00
dhall-modules
dotnet-modules
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules
idris-modules
interpreters	buildRustPackage: remove platform.all from packages	2020-08-16 12:48:18 +10:00
java-modules
libraries	Merge pull request #90116 from purcell/netcdf-no-gcc-at-runtime	2020-08-16 00:37:40 -05:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules	ocamlPackages.torch: 0.9b → 0.10 (#94922)	2020-08-15 15:15:48 +02:00
perl-modules
pharo
pure-modules
python-modules	Merge pull request #95540 from jonringer/disable-many-py2	2020-08-16 08:17:47 +02:00
r-modules
ruby-modules
tools	buildRustPackage: remove platform.all from packages	2020-08-16 12:48:18 +10:00
web	buildGoPackage: remove platform.all from packages	2020-08-15 19:34:47 -07:00