../ eigen3_3.3~beta1-2.debian.tar.xz 10-Jan-2016 23:19 36060 eigen3_3.3~beta1-2.dsc 10-Jan-2016 23:19 2151 eigen3_3.3~beta1.orig.tar.bz2 19-Dec-2015 05:19 1412819 libeigen3-dev_3.3~beta1-2_all.deb 11-Jan-2016 04:40 662650 libeigen3-doc_3.3~beta1-2_all.deb 11-Jan-2016 04:40 5037230