John Wiegley 4888bfecc2 coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect ... Addresses #14829		2016-12-22 10:35:56 -08:00
..
arduino
beam-modules
bower-modules/generic
compilers	go_bootstrap: Fix credential test for new user namespacing	2016-12-21 21:40:29 -05:00
coq-modules	coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect	2016-12-22 10:35:56 -08:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules
haskell-modules	hackage-packages.nix: automatic Haskell package set update	2016-12-21 10:17:49 +01:00
idris-modules
interpreters	maude: update to version 2.7	2016-12-22 13:04:30 +01:00
libraries	Merge pull request #21236 (Update mediainfo)	2016-12-22 18:44:14 +01:00
lisp-modules
lua-modules
misc
mobile
node-packages
ocaml-modules	lablgtk: 2.18.3 -> 2.18.5	2016-12-22 06:07:06 +00:00
perl-modules	perlPackages.DBDmysql: 4.039 -> 4.041 for CVE-2016-1251	2016-12-15 17:17:57 -05:00
pharo
pure-modules
python-modules
qtcreator
r-modules
ruby-modules	gem-config: add lxc as a dependency for ruby-lxc	2016-12-18 20:10:34 +01:00
tools	rolespec: 20160105 -> 20161104	2016-12-22 09:19:40 +08:00
web