../ eigen_1.0.5-0ubuntu2.diff.gz 25-Jul-2007 15:03 4077 eigen_1.0.5-0ubuntu2.dsc 25-Jul-2007 15:03 664 eigen_1.0.5-1.diff.gz 04-Dec-2007 22:04 3967 eigen_1.0.5-1.dsc 04-Dec-2007 22:04 677 eigen_1.0.5.orig.tar.gz 19-Jul-2007 22:04 59K libeigen-dev_1.0.5-0ubuntu2_all.deb 25-Jul-2007 17:03 38K libeigen-dev_1.0.5-1_all.deb 04-Dec-2007 23:04 38K