flake: use eigen 5.0.1 from nixpkgs#614

jorisv merged 2 commits intostack-of-tasks:develstack-of-tasks/eigenpy:develfrom

nim65s:eigen_5nim65s/eigenpy:eigen_5Copy head branch name to clipboard