Bas van Dijk b2042983ef Merge pull request #46956 from Taneb/sbv-fix-z3 ... haskellPackages.sbv: fix location of z3 executable		2018-09-20 14:03:36 +02:00
..
arduino
beam-modules
bower-modules/generic
compilers	Revert "iasl: 20180313 -> 20180629 (#46272)"	2018-09-19 12:03:44 +02:00
coq-modules	treewide: Use http/https for homepages	2018-09-08 18:30:00 +02:00
dotnet-modules/patches
em-modules/generic
go-modules
guile-modules
haskell-modules	haskellPackages.sbv: fix location of z3 executable	2018-09-20 11:45:16 +01:00
idris-modules
interpreters	php: add option to enable argon2	2018-09-17 19:02:16 +02:00
java-modules
libraries	editline: 1.15.3 -> 1.16.0 (#46897)	2018-09-19 23:55:50 +02:00
lisp-modules	lispPackages.quicklisp: 2018-04-30 -> 2018-08-31 ; regenerate packages	2018-09-12 11:52:43 +03:00
lua-modules
misc
mobile	Merge remote-tracking branch 'upstream/master' into darwin-android-ndk-for-master	2018-09-17 22:48:25 -04:00
node-packages	Merge pull request #46712 from obsidiansystems/ios-depoy	2018-09-15 14:56:32 -04:00
ocaml-modules	ocamlPackages.cohttp: 1.0.2 -> 1.1.1	2018-09-19 16:50:21 +00:00
perl-modules
pharo
pure-modules
python-modules	pythonPackages.nilearn: disable still failing tests (#46918)	2018-09-19 23:50:22 +02:00
r-modules	git2r: add SSH support	2018-09-11 16:39:20 -04:00
ruby-modules	solargraph: 0.25.1 -> 0.27.1	2018-09-16 04:56:35 -04:00
tools	Merge pull request #46752 from rvolosatovs/feature/gotools	2018-09-20 08:16:43 +01:00
web	postman: 6.2.5 -> 6.3.0 (#46771)	2018-09-17 11:45:27 +02:00