Index of /ubuntu-ports/pool/universe/m/mathcomp-analysis
Name Last modified Size Description
Parent Directory -
mathcomp-analysis_0.3.13-1.dsc 2022-02-12 18:34 2.1K
mathcomp-analysis_0.3.13.orig.tar.gz 2022-02-12 18:34 501K
mathcomp-analysis_0.3.13-1.debian.tar.xz 2022-02-12 18:34 8.1K
mathcomp-analysis_1.0.0.orig.tar.gz 2024-01-29 09:51 1.1M
mathcomp-analysis_1.0.0-1build4.debian.tar.xz 2024-04-08 09:57 9.2K
mathcomp-analysis_1.0.0-1build4.dsc 2024-04-08 09:57 2.4K
libcoq-mathcomp-classical_1.0.0-1build4_armhf.deb 2024-04-08 22:52 2.3M
libcoq-mathcomp-analysis_1.0.0-1build4_armhf.deb 2024-04-08 22:52 15M
libcoq-mathcomp-classical_1.0.0-1build4_ppc64el.deb 2024-04-08 23:48 2.3M
libcoq-mathcomp-analysis_1.0.0-1build4_ppc64el.deb 2024-04-08 23:48 15M
libcoq-mathcomp-classical_1.0.0-1build4_arm64.deb 2024-04-09 01:18 2.3M
libcoq-mathcomp-analysis_1.0.0-1build4_arm64.deb 2024-04-09 01:18 15M
libcoq-mathcomp-classical_1.0.0-1build4_s390x.deb 2024-04-09 05:47 2.3M
libcoq-mathcomp-analysis_1.0.0-1build4_s390x.deb 2024-04-09 05:47 15M
libcoq-mathcomp-classical_1.0.0-1build4_riscv64.deb 2024-04-09 14:57 2.3M
libcoq-mathcomp-analysis_1.0.0-1build4_riscv64.deb 2024-04-09 14:57 15M
mathcomp-analysis_1.2.0.orig.tar.gz 2024-06-11 19:54 1.1M
mathcomp-analysis_1.2.0-2build6.debian.tar.xz 2024-09-17 18:56 9.3K
mathcomp-analysis_1.2.0-2build6.dsc 2024-09-17 18:56 2.4K
libcoq-mathcomp-classical_1.2.0-2build6_arm64.deb 2024-09-20 04:29 2.8M
libcoq-mathcomp-analysis_1.2.0-2build6_arm64.deb 2024-09-20 04:29 15M
libcoq-mathcomp-classical_1.2.0-2build6_s390x.deb 2024-09-20 04:29 2.8M
libcoq-mathcomp-analysis_1.2.0-2build6_s390x.deb 2024-09-20 04:29 15M
libcoq-mathcomp-classical_1.2.0-2build6_ppc64el.deb 2024-09-20 06:15 2.8M
libcoq-mathcomp-analysis_1.2.0-2build6_ppc64el.deb 2024-09-20 06:15 15M
libcoq-mathcomp-classical_1.2.0-2build6_riscv64.deb 2024-09-20 17:55 2.8M
libcoq-mathcomp-analysis_1.2.0-2build6_riscv64.deb 2024-09-20 17:55 15M
mathcomp-analysis_1.8.0-1.dsc 2024-12-26 18:40 2.4K
mathcomp-analysis_1.8.0.orig.tar.gz 2024-12-26 18:40 840K
mathcomp-analysis_1.8.0-1.debian.tar.xz 2024-12-26 18:40 9.3K
libcoq-mathcomp-classical_1.8.0-1_arm64.deb 2024-12-26 19:41 3.7M
libcoq-mathcomp-analysis_1.8.0-1_arm64.deb 2024-12-26 19:41 18M
libcoq-mathcomp-classical_1.8.0-1_ppc64el.deb 2024-12-26 19:41 3.7M
libcoq-mathcomp-analysis_1.8.0-1_ppc64el.deb 2024-12-26 19:41 18M
libcoq-mathcomp-classical_1.8.0-1_s390x.deb 2024-12-26 19:41 3.7M
libcoq-mathcomp-analysis_1.8.0-1_s390x.deb 2024-12-26 19:41 18M
libcoq-mathcomp-classical_1.8.0-1_riscv64.deb 2024-12-29 07:27 3.7M
libcoq-mathcomp-analysis_1.8.0-1_riscv64.deb 2024-12-29 07:27 18M
Apache/2.4.41 (Ubuntu) Server at ftp5.de.freebsd.org Port 80