../ eigen3_3.4.0-4.debian.tar.xz 29-Apr-2024 02:32 20848 eigen3_3.4.0-4.dsc 29-Apr-2024 02:32 1284 eigen3_3.4.0.orig.tar.gz 29-Apr-2024 02:32 2727845 libeigen3-dev_3.4.0-4_all.deb 29-Apr-2024 00:59 1034360 libeigen3-doc_3.4.0-4_all.deb 29-Apr-2024 00:59 11512808