../ eigen3_3.1.0-1.debian.tar.gz 29-Jun-2012 22:13 11771 eigen3_3.1.0-1.dsc 29-Jun-2012 22:13 2112 eigen3_3.1.0.orig.tar.bz2 29-Jun-2012 22:13 1023451 libeigen3-dev_3.1.0-1_amd64.deb 29-Jun-2012 22:13 613948 libeigen3-doc_3.1.0-1_all.deb 29-Jun-2012 22:13 18520978