nixpkgs

b8627b91 - eigen_5: add withDoc option, fix #526648 (#526787)