John Wiegley 2134543064 coqPackages.contribs: new set with all packages from coq-contribs		2017-12-21 10:26:56 -08:00
..
arduino
beam-modules
bower-modules/generic
compilers	gnu-cobol: 2.0-rc2 -> 2.2	2017-12-21 10:40:02 +01:00
coq-modules	coqPackages.contribs: new set with all packages from coq-contribs	2017-12-21 10:26:56 -08:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules	buildGoPackage: fill in meta.homepage	2017-12-20 01:07:14 +00:00
guile-modules
haskell-modules	HaskellPackages.language-puppet: enable x86_64 build again	2017-12-21 16:52:07 +01:00
idris-modules
interpreters	elixir: 1.5.2 -> 1.5.3	2017-12-21 01:38:21 +00:00
java-modules
libraries	Make less known wayland compositors usable (#32285)	2017-12-21 16:16:19 +00:00
lisp-modules	quicklisp-to-nix: update after fixes to our ASDF handling suggested by upstream	2017-12-19 17:55:22 +01:00
lua-modules
misc
mobile
node-packages	jsdoc: init at 3.5.5	2017-12-21 16:08:10 +01:00
ocaml-modules	ocamlPackages.curses: no longer broken	2017-12-21 17:35:41 +00:00
perl-modules	perl generic builder: recognize #!/usr/bin/env perl	2017-12-15 19:16:23 +01:00
pharo
pure-modules
python-modules	Make less known wayland compositors usable (#32285)	2017-12-21 16:16:19 +00:00
qtcreator
r-modules
ruby-modules
tools	ocsigen-i18n: do not strip (#32758)	2017-12-21 18:23:25 +01:00
web	valum: 0.2.16 → 0.3.14	2017-12-19 17:25:50 +01:00