Orivej Desh b5d1d50aa9 google-gflags: move to aliases.nix ... google-gflags were renamed to gflags in 2012: https://github.com/gflags/gflags/#25-january-2012 gflags.name will be updated in staging.		2019-07-25 09:18:32 +00:00
..
benchmark/papi	papi: init at 5.6.0 (#46619)	2018-09-13 23:35:06 +02:00
biology	treewide: remove unused variables (#63177)	2019-06-16 19:59:05 +00:00
math	google-gflags: move to aliases.nix	2019-07-25 09:18:32 +00:00
networking/ns3	waf: use wafConfigureFlags for waf flags	2019-04-09 23:44:37 -04:00
robotics/ispike