Looking at the Debian-Package-Tracker (PTS)
https://packages.qa.debian.org/e/eigen2.html https://tracker.debian.org/pkg/eigen3
reveals more secrets about it's existence in Debian (oldstable). Actually there should be no reason keeping this any longer in Ubuntu.
This would need a new bug-report then.
Looking at the Debian- Package- Tracker (PTS)
https:/ /packages. qa.debian. org/e/eigen2. html /tracker. debian. org/pkg/ eigen3
https:/
reveals more secrets about it's existence in Debian (oldstable).
Actually there should be no reason keeping this any longer in Ubuntu.
This would need a new bug-report then.