Index of /ubuntu/pool/universe/e/eigen3
Name
Last modified
Size
Description
Parent Directory
-
libeigen3-doc_3.4.0-4build1_all.deb
2024-10-02 16:32
9.1M
libeigen3-doc_3.4.0-4build0.1_all.deb
2024-10-15 14:02
9.1M
libeigen3-doc_3.4.0-4_all.deb
2023-02-10 20:08
7.4M
libeigen3-doc_3.4.0-2ubuntu2_all.deb
2022-01-06 02:24
7.9M
libeigen3-doc_3.3~beta1-2_all.deb
2016-01-11 05:40
4.8M
libeigen3-doc_3.3.7-2_all.deb
2020-03-01 11:29
7.7M
libeigen3-doc_3.3.4-4_all.deb
2018-02-09 11:23
7.4M
libeigen3-doc_3.2.0-8_all.deb
2014-02-06 12:58
12M
libeigen3-dev_3.4.0-4build1_all.deb
2024-10-02 16:32
1.0M
libeigen3-dev_3.4.0-4build0.1_all.deb
2024-10-15 14:02
1.0M
libeigen3-dev_3.4.0-4_all.deb
2023-02-10 20:08
1.0M
libeigen3-dev_3.4.0-2ubuntu2_all.deb
2022-01-06 02:24
1.0M
libeigen3-dev_3.3~beta1-2_all.deb
2016-01-11 05:40
647K
libeigen3-dev_3.3.7-2_all.deb
2020-03-01 11:29
796K
libeigen3-dev_3.3.4-4_all.deb
2018-02-09 11:23
791K
libeigen3-dev_3.2.0-8_all.deb
2014-02-06 12:58
483K
eigen3_3.4.0.orig.tar.bz2
2021-11-20 00:29
2.0M
eigen3_3.4.0-4build1.dsc
2024-10-02 13:52
2.1K
eigen3_3.4.0-4build1.debian.tar.xz
2024-10-02 13:52
20K
eigen3_3.4.0-4build0.1.dsc
2024-10-15 11:22
2.2K
eigen3_3.4.0-4build0.1.debian.tar.xz
2024-10-15 11:22
20K
eigen3_3.4.0-4.dsc
2023-02-10 18:44
2.1K
eigen3_3.4.0-4.debian.tar.xz
2023-02-10 18:44
20K
eigen3_3.4.0-2ubuntu2.dsc
2022-01-05 21:36
2.2K
eigen3_3.4.0-2ubuntu2.debian.tar.xz
2022-01-05 21:36
19K
eigen3_3.3~beta1.orig.tar.bz2
2015-12-19 06:19
1.3M
eigen3_3.3~beta1-2.dsc
2016-01-11 00:19
2.1K
eigen3_3.3~beta1-2.debian.tar.xz
2016-01-11 00:19
35K
eigen3_3.3.7.orig.tar.bz2
2018-12-22 00:28
1.6M
eigen3_3.3.7-2.dsc
2020-03-01 06:28
2.1K
eigen3_3.3.7-2.debian.tar.xz
2020-03-01 06:28
47K
eigen3_3.3.4.orig.tar.bz2
2017-07-01 07:08
1.6M
eigen3_3.3.4-4.dsc
2018-02-09 06:19
2.1K
eigen3_3.3.4-4.debian.tar.xz
2018-02-09 06:19
44K
eigen3_3.2.0.orig.tar.bz2
2013-07-25 13:28
1.1M
eigen3_3.2.0-8.dsc
2014-02-06 12:18
2.0K
eigen3_3.2.0-8.debian.tar.xz
2014-02-06 12:18
23K
Apache/2.4.52 (Ubuntu) Server at nl.archive.ubuntu.com Port 80