Théo Zimmermann 1ddadc6b1c coqPackages.math-classes: 1.0.6 -> 1.0.7 ... This version introduces compatibility with Coq 8.7.		2017-11-05 16:59:23 +01:00
..
arduino
beam-modules	beamPackages.hex: 0.14.0 => 0.17.1	2017-10-30 23:21:22 +01:00
bower-modules/generic
compilers	SBCL: bump to unstable to include upstream fixes for bugs breaking iolib	2017-11-05 15:26:17 +01:00
coq-modules	coqPackages.math-classes: 1.0.6 -> 1.0.7	2017-11-05 16:59:23 +01:00
dotnet-modules/patches
eclipse/ecj
em-modules/generic
go-modules
guile-modules
haskell-modules	hackage-packages.nix: automatic Haskell package set update	2017-11-04 20:02:45 +01:00
idris-modules	Fix idrisPackages.with-packages	2017-10-30 12:25:33 +01:00
interpreters	Merge pull request #31264 from kini/acl2-update	2017-11-04 23:17:30 +00:00
java-modules
libraries	Merge pull request #30688 from bobvanderlinden/pr-vrb-init	2017-11-05 15:58:33 +00:00
lisp-modules	lispPackages.clwrapper: make sure to patch shebangs in the scripts before using them	2017-11-04 12:46:56 +01:00
lua-modules
misc	loc: 2017-06-23 -> 0.4.1	2017-10-31 16:27:23 +01:00
mobile
node-packages	fast-cli: pinpoint to a 1.x version, since 2.x requires nodejs 8 or greater	2017-11-05 14:00:27 +01:00
ocaml-modules	ocamlPackages.ocaml-migrate-parsetree: 1.0.5 -> 1.0.7	2017-11-04 23:47:44 +00:00
perl-modules	perl-DBD-SQLite: 1.50 -> 1.54	2017-10-31 11:35:25 +01:00
pharo
pure-modules
python-modules	python.pkgs.urwid: fix build	2017-11-05 13:44:16 +01:00
qtcreator	qtbase: Make some output references more explicit	2017-10-24 23:48:49 +03:00
r-modules	nixpkgs manual: add rstudio shell.nix example	2017-11-04 12:26:08 +01:00
ruby-modules	bundlerEnv: support unicode executables (#31145)	2017-11-03 11:31:16 +00:00
tools	gotools: 20160519 -> 20170807	2017-11-04 01:22:40 +01:00
web	nodejs: refactor generic build function	2017-11-02 10:58:45 +01:00