../ eigen3_3.4.0-4.debian.tar.xz 15-Nov-2024 11:33 20484 eigen3_3.4.0-4.dsc 15-Nov-2024 11:33 2170 eigen3_3.4.0.orig.tar.bz2 15-Nov-2024 11:33 2143091 libeigen3-dev_3.4.0-4_all.deb 07-Nov-2024 09:28 1040780 libeigen3-doc_3.4.0-4_all.deb 07-Nov-2024 09:28 7019696