b5d1d50aa9
google-gflags were renamed to gflags in 2012: https://github.com/gflags/gflags/#25-january-2012 gflags.name will be updated in staging. |
||
---|---|---|
.. | ||
build-fix.patch | ||
default.nix |
b5d1d50aa9
google-gflags were renamed to gflags in 2012: https://github.com/gflags/gflags/#25-january-2012 gflags.name will be updated in staging. |
||
---|---|---|
.. | ||
build-fix.patch | ||
default.nix |