../ eigen3_3.3.2-1.debian.tar.xz 20-Jan-2017 19:56 39040 eigen3_3.3.2-1.dsc 20-Jan-2017 19:56 2181 eigen3_3.3.2.orig.tar.bz2 20-Jan-2017 19:56 1639615 libeigen3-dev_3.3.2-1_all.deb 21-Jan-2017 04:44 838630 libeigen3-doc_3.3.2-1_all.deb 21-Jan-2017 04:44 7185204