../ eigen3_3.4.0-5.debian.tar.xz 09-Feb-2026 20:56 20776 eigen3_3.4.0-5.dsc 09-Feb-2026 20:56 2196 eigen3_3.4.0.orig.tar.bz2 09-Feb-2026 20:56 2143091 libeigen3-dev_3.4.0-5_all.deb 09-Feb-2026 20:56 1034496 libeigen3-doc_3.4.0-5_all.deb 09-Feb-2026 20:56 9631776