Frederik Rietdijk e343a85cfb Merge master into staging-next		2018-11-19 09:55:32 +01:00
..
benchmark/papi	papi: init at 5.6.0 (#46619)	2018-09-13 23:35:06 +02:00
biology	mirtk: use fetchFromGitHub instead of fetchgit	2018-10-08 14:33:55 +02:00
math	eigen3_3: move version overrides to all-packages.nix	2018-11-18 10:53:25 +00:00
networking/ns3	treewide: use wafHook	2018-11-13 19:13:48 -06:00
robotics/ispike