Peter Simons 05620d62dc maude: update from version 2.7.1 to 3.0 (including full-maude)		2020-01-31 16:25:40 +01:00
..
androidndk-pkgs
arduino	platformio: 4.0.3 -> 4.1.0	2020-01-27 11:50:09 +01:00
beam-modules	elixir_1_10: init at 1.10.0	2020-01-27 11:58:02 +01:00
bower-modules/generic
chez-modules
compilers	llvm_4: remove	2020-01-30 18:35:31 -05:00
coq-modules	coqPackages.tlc: disable for Coq > 8.10	2020-01-31 14:09:51 +01:00
dhall-modules
dotnet-modules/patches
em-modules/generic
go-modules
go-packages
guile-modules
haskell-modules	configuration-ghc-8.2.x: use default llvmPackages	2020-01-30 18:35:30 -05:00
idris-modules
interpreters	maude: update from version 2.7.1 to 3.0 (including full-maude)	2020-01-31 16:25:40 +01:00
java-modules
libraries	Merge pull request #78504 from r-ryantm/auto-update/ethash	2020-01-31 08:50:55 -05:00
lisp-modules
lua-modules	Merge pull request #78265 from Synthetica9/https-homepages	2020-01-27 15:00:53 +01:00
misc
mobile
node-packages
ocaml-modules	ocamlPackages.dum: init at 1.0.1 (#74817)	2020-01-26 02:10:17 +01:00
perl-modules
pharo
pure-modules
python-modules	Merge pull request #78404 from cust0dian/glances-darwin-build	2020-01-31 08:50:28 +01:00
r-modules	r-packages: update	2020-01-28 20:11:00 +01:00
ruby-modules
tools	Merge pull request #78804 from evanjs/cargo-geiger/0.9.1	2020-01-31 16:01:23 +01:00
web	nodejs-13_x: 13.6.0 -> 13.7.0	2020-01-23 04:20:00 -05:00