../ eigen3_3.4.0-4.debian.tar.xz 14-Aug-2026 19:03 20K eigen3_3.4.0-4.dsc 14-Aug-2026 19:03 2170 eigen3_3.4.0.orig.tar.bz2 14-Aug-2026 19:03 2M libeigen3-dev_3.4.0-4_all.deb 14-Aug-2026 22:57 1016K libeigen3-doc_3.4.0-4_all.deb 14-Aug-2026 22:57 7M