../ eigen3_3.4.0-5.debian.tar.xz 23-May-2025 23:35 20776 eigen3_3.4.0-5.dsc 23-May-2025 23:35 2196 eigen3_3.4.0.orig.tar.bz2 19-Nov-2021 11:52 2143091 libeigen3-dev_3.4.0-5_all.deb 24-May-2025 01:06 1034496 libeigen3-doc_3.4.0-5_all.deb 24-May-2025 01:06 9631776