../ eigen3_3.3.7-1.debian.tar.xz 21-Dec-2018 18:48 44K eigen3_3.3.7-1.dsc 21-Dec-2018 18:48 2149 eigen3_3.3.7.orig.tar.bz2 20-Dec-2018 22:12 2M libeigen3-dev_3.2.2-3_all.deb 08-Sep-2014 22:59 500K libeigen3-dev_3.3.2-1_all.deb 21-Jan-2017 04:44 819K libeigen3-dev_3.3.7-1_all.deb 22-Dec-2018 06:37 830K libeigen3-doc_3.2.2-3_all.deb 08-Sep-2014 22:59 11M libeigen3-doc_3.3.2-1_all.deb 21-Jan-2017 04:44 7M libeigen3-doc_3.3.7-1_all.deb 22-Dec-2018 06:37 8M