../ eigen3_3.4.0-4.debian.tar.xz 19-Jul-2023 09:51 20492 eigen3_3.4.0-4.dsc 19-Jul-2023 09:51 1287 eigen3_3.4.0.orig.tar.bz2 19-Jul-2023 09:51 2143091 libeigen3-dev_3.4.0-4_all.deb 19-Jul-2023 09:51 1034432 libeigen3-doc_3.4.0-4_all.deb 19-Jul-2023 09:51 7013804