John Wiegley 462b5e0d21 coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7		2017-11-11 09:44:55 -08:00
..
arduino
beam-modules
bower-modules/generic
compilers	ghc: bump 8.2.2 pre-release to rc3	2017-11-11 17:38:26 +01:00
coq-modules	coqPackages.mathcomp: 1.6.1 -> 1.6.4, for Coq versions 8.6 and 8.7	2017-11-11 09:44:55 -08:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules	Merge pull request #30350 from alicebob/absdir	2017-11-11 01:17:23 +00:00
guile-modules
haskell-modules	haskell-c2hs: use development version from github to work around _Float128 bug	2017-11-11 17:38:42 +01:00
idris-modules
interpreters	Apply changes recommended by @Mic92	2017-11-09 00:14:27 -08:00
java-modules	Change many homepage urls from http to https #30636	2017-11-10 22:13:46 +01:00
libraries	Merge pull request #31376 from c0bw3b/pkg/libtom	2017-11-11 18:11:14 +01:00
lisp-modules	asdf: 3.2.0 -> 3.3.0	2017-11-11 15:31:43 +01:00
lua-modules
misc	Change many homepage urls from http to https #30636	2017-11-10 22:13:46 +01:00
mobile
node-packages	Change many homepage urls from http to https #30636	2017-11-10 22:13:46 +01:00
ocaml-modules	ocamlPackages.camomile: 0.8.6 -> 0.8.7	2017-11-11 16:56:14 +00:00
perl-modules
pharo
pure-modules
python-modules	Merge pull request #31519 from Ma27/fix-yowsup	2017-11-11 09:51:15 +01:00
qtcreator
r-modules
ruby-modules
tools	Fix homepage links (see #30636)	2017-11-11 17:36:48 +01:00
web	Change many homepage urls from http to https #30636	2017-11-10 22:13:46 +01:00