Index of /ubuntu-ports/pool/universe/m/mathcomp-analysis/

Name Size Date
📁 ../ - -
📄 libcoq-mathcomp-analysis_1.0.0-1build4_arm64.deb 15900464 bytes 2024-04-08 23:18:15
📄 libcoq-mathcomp-analysis_1.0.0-1build4_armhf.deb 15869204 bytes 2024-04-08 20:52:52
📄 libcoq-mathcomp-analysis_1.0.0-1build4_ppc64el.deb 15900440 bytes 2024-04-08 21:48:19
📄 libcoq-mathcomp-analysis_1.0.0-1build4_riscv64.deb 15900212 bytes 2024-04-09 12:57:57
📄 libcoq-mathcomp-analysis_1.0.0-1build4_s390x.deb 15900852 bytes 2024-04-09 03:47:10
📄 libcoq-mathcomp-analysis_1.9.0-1_arm64.deb 19964664 bytes 2025-03-16 14:58:19
📄 libcoq-mathcomp-analysis_1.9.0-1_ppc64el.deb 19952800 bytes 2025-03-16 14:58:19
📄 libcoq-mathcomp-analysis_1.9.0-1_riscv64.deb 19957130 bytes 2025-03-16 20:13:11
📄 libcoq-mathcomp-analysis_1.9.0-1_s390x.deb 19965656 bytes 2025-03-16 14:58:28
📄 libcoq-mathcomp-analysis_1.9.0-1build4_arm64.deb 19930566 bytes 2025-09-02 08:36:03
📄 libcoq-mathcomp-analysis_1.9.0-1build4_ppc64el.deb 19940744 bytes 2025-09-02 08:36:14
📄 libcoq-mathcomp-analysis_1.9.0-1build4_riscv64.deb 19935646 bytes 2025-09-03 16:14:47
📄 libcoq-mathcomp-analysis_1.9.0-1build4_s390x.deb 19938784 bytes 2025-09-02 08:36:27
📄 libcoq-mathcomp-analysis_1.9.0-1build9_arm64.deb 19936600 bytes 2026-03-08 19:53:39
📄 libcoq-mathcomp-analysis_1.9.0-1build9_ppc64el.deb 19943706 bytes 2026-03-08 19:53:40
📄 libcoq-mathcomp-analysis_1.9.0-1build9_riscv64.deb 19935902 bytes 2026-03-09 02:18:44
📄 libcoq-mathcomp-analysis_1.9.0-1build9_s390x.deb 19939952 bytes 2026-03-08 19:53:43
📄 libcoq-mathcomp-classical_1.0.0-1build4_arm64.deb 2461936 bytes 2024-04-08 23:18:15
📄 libcoq-mathcomp-classical_1.0.0-1build4_armhf.deb 2457808 bytes 2024-04-08 20:52:52
📄 libcoq-mathcomp-classical_1.0.0-1build4_ppc64el.deb 2461958 bytes 2024-04-08 21:48:19
📄 libcoq-mathcomp-classical_1.0.0-1build4_riscv64.deb 2461964 bytes 2024-04-09 12:57:57
📄 libcoq-mathcomp-classical_1.0.0-1build4_s390x.deb 2461894 bytes 2024-04-09 03:47:09
📄 libcoq-mathcomp-classical_1.9.0-1_arm64.deb 3857498 bytes 2025-03-16 14:58:19
📄 libcoq-mathcomp-classical_1.9.0-1_ppc64el.deb 3857482 bytes 2025-03-16 14:58:19
📄 libcoq-mathcomp-classical_1.9.0-1_riscv64.deb 3855624 bytes 2025-03-16 20:13:11
📄 libcoq-mathcomp-classical_1.9.0-1_s390x.deb 3857550 bytes 2025-03-16 14:58:28
📄 libcoq-mathcomp-classical_1.9.0-1build4_arm64.deb 3850974 bytes 2025-09-02 08:36:01
📄 libcoq-mathcomp-classical_1.9.0-1build4_ppc64el.deb 3851408 bytes 2025-09-02 08:36:13
📄 libcoq-mathcomp-classical_1.9.0-1build4_riscv64.deb 3848630 bytes 2025-09-03 16:14:47
📄 libcoq-mathcomp-classical_1.9.0-1build4_s390x.deb 3850848 bytes 2025-09-02 08:36:27
📄 libcoq-mathcomp-classical_1.9.0-1build9_arm64.deb 3850928 bytes 2026-03-08 19:53:39
📄 libcoq-mathcomp-classical_1.9.0-1build9_ppc64el.deb 3850602 bytes 2026-03-08 19:53:39
📄 libcoq-mathcomp-classical_1.9.0-1build9_riscv64.deb 3851000 bytes 2026-03-09 02:18:43
📄 libcoq-mathcomp-classical_1.9.0-1build9_s390x.deb 3850846 bytes 2026-03-08 19:53:43
📄 mathcomp-analysis_0.3.13-1.debian.tar.xz 8276 bytes 2022-02-12 17:34:23
📄 mathcomp-analysis_0.3.13-1.dsc 2195 bytes 2022-02-12 17:34:23
📄 mathcomp-analysis_0.3.13.orig.tar.gz 513213 bytes 2022-02-12 17:34:23
📄 mathcomp-analysis_1.0.0-1build4.debian.tar.xz 9396 bytes 2024-04-08 07:57:38
📄 mathcomp-analysis_1.0.0-1build4.dsc 2506 bytes 2024-04-08 07:57:38
📄 mathcomp-analysis_1.0.0.orig.tar.gz 1174232 bytes 2024-01-29 08:51:53
📄 mathcomp-analysis_1.9.0-1.debian.tar.xz 9484 bytes 2025-03-16 13:33:44
📄 mathcomp-analysis_1.9.0-1.dsc 2437 bytes 2025-03-16 13:33:44
📄 mathcomp-analysis_1.9.0-1build4.debian.tar.xz 9604 bytes 2025-08-31 19:42:08
📄 mathcomp-analysis_1.9.0-1build4.dsc 2424 bytes 2025-08-31 19:42:08
📄 mathcomp-analysis_1.9.0-1build9.debian.tar.xz 9716 bytes 2026-03-08 17:18:29
📄 mathcomp-analysis_1.9.0-1build9.dsc 2424 bytes 2026-03-08 17:18:29
📄 mathcomp-analysis_1.9.0.orig.tar.gz 911293 bytes 2025-03-16 13:33:44