../ eigen_1.0.5-2.diff.gz 02-Feb-2008 06:32 3889 eigen_1.0.5-2.dsc 02-Feb-2008 06:32 726 eigen_1.0.5.orig.tar.gz 17-Jul-2007 15:02 59K libeigen-dev_1.0.5-2_all.deb 02-Feb-2008 06:32 37K