Index of /debian/pool/main/e/eigen3

Icon  Name                          Last modified      Size  
[PARENTDIR] Parent Directory - [   ] eigen3_3.3.7-1.debian.tar.xz 2018-12-21 19:48 44K [   ] eigen3_3.3.7-1.dsc 2018-12-21 19:48 2.1K [   ] eigen3_3.3.7.orig.tar.bz2 2018-12-20 23:12 1.6M [   ] eigen3_3.3.9-2.debian.tar.xz 2021-01-25 21:21 47K [   ] eigen3_3.3.9-2.dsc 2021-01-25 21:21 2.1K [   ] eigen3_3.3.9.orig.tar.bz2 2020-12-06 16:13 1.6M [   ] eigen3_3.4.0-4.debian.tar.xz 2022-09-24 21:51 20K [   ] eigen3_3.4.0-4.dsc 2022-09-24 21:51 2.1K [   ] eigen3_3.4.0.orig.tar.bz2 2021-11-19 06:52 2.0M [   ] libeigen3-dev_3.3.7-1_all.deb 2018-12-22 07:37 830K [   ] libeigen3-dev_3.3.9-2_all.deb 2021-01-26 00:13 838K [   ] libeigen3-dev_3.4.0-4_all.deb 2022-09-25 04:12 1.0M [   ] libeigen3-doc_3.3.7-1_all.deb 2018-12-22 07:37 7.8M [   ] libeigen3-doc_3.3.9-2_all.deb 2021-01-26 00:13 7.1M [   ] libeigen3-doc_3.4.0-4_all.deb 2022-09-25 04:12 6.7M
Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80