../ eigen3_3.3.7-1.debian.tar.xz 24-Dec-2018 12:00 45004 eigen3_3.3.7-1.dsc 24-Dec-2018 12:00 2149 eigen3_3.3.7.orig.tar.bz2 24-Dec-2018 12:00 1665168 libeigen3-dev_3.3.7-1_all.deb 24-Dec-2018 12:00 849748 libeigen3-doc_3.3.7-1_all.deb 24-Dec-2018 12:00 8137296