John Wiegley bb038283c4 coqPackages.metalib: New expression		2017-11-12 09:34:06 -08:00
..
arduino
beam-modules	hex-packages: delete transitively unbuildable packages	2017-11-08 07:23:51 +00:00
bower-modules/generic
compilers	ghc: bump 8.2.2 pre-release to rc3	2017-11-11 17:38:26 +01:00
coq-modules	coqPackages.metalib: New expression	2017-11-12 09:34:06 -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	make-dbus-conf: prefer local build	2017-11-12 03:52:21 +00: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.nocrypto: remove spurious dependency on oasis	2017-11-12 10:19:56 +00:00
perl-modules
pharo
pure-modules
python-modules	Merge pull request #31554 from xvapx/libnacl	2017-11-12 10:43:29 +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