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
..
astronomy	Merge master into staging-next	2019-07-16 11:15:46 +02:00
biology	Merge pull request #64897 from bzizou/est-sfs	2019-07-22 22:52:16 +02:00
chemistry
electronics
geometry
logic	cryptoverif: 2.01 -> 2.01pl1	2019-07-23 19:32:45 -05:00
machine-learning	fasttext: 0.2.0 -> 0.9.1	2019-07-12 02:13:23 +02:00
math	google-gflags: move to aliases.nix	2019-07-25 09:18:32 +00:00
medicine/aliza
misc	google-gflags: move to aliases.nix	2019-07-25 09:18:32 +00:00
molecular-dynamics
physics
programming
robotics