Index of /ubuntu-ports/pool/universe/m/mathcomp-real-closed/

Index of /ubuntu-ports/pool/universe/m/mathcomp-real-closed/

../
libcoq-mathcomp-real-closed_1.1.3-1_arm64.deb      19-Jul-2022 11:03      3M
libcoq-mathcomp-real-closed_1.1.3-1_armhf.deb      08-Jul-2022 12:44      3M
libcoq-mathcomp-real-closed_1.1.3-1_ppc64el.deb    08-Jul-2022 12:44      3M
libcoq-mathcomp-real-closed_1.1.3-1_riscv64.deb    19-Jul-2022 12:39      3M
libcoq-mathcomp-real-closed_1.1.3-1_s390x.deb      08-Jul-2022 12:44      3M
libcoq-mathcomp-real-closed_1.1.3-1build2_arm64..> 04-Dec-2022 00:03      3M
libcoq-mathcomp-real-closed_1.1.3-1build2_armhf..> 04-Dec-2022 00:03      3M
libcoq-mathcomp-real-closed_1.1.3-1build2_ppc64..> 03-Dec-2022 21:54      3M
libcoq-mathcomp-real-closed_1.1.3-1build2_riscv..> 04-Dec-2022 03:33      3M
libcoq-mathcomp-real-closed_1.1.3-1build2_s390x..> 03-Dec-2022 21:54      3M
libcoq-mathcomp-real-closed_1.1.3-1build3_arm64..> 27-Jan-2023 14:14      3M
libcoq-mathcomp-real-closed_1.1.3-1build3_armhf..> 27-Jan-2023 14:14      3M
libcoq-mathcomp-real-closed_1.1.3-1build3_ppc64..> 27-Jan-2023 14:14      3M
libcoq-mathcomp-real-closed_1.1.3-1build3_riscv..> 27-Jan-2023 16:04      3M
libcoq-mathcomp-real-closed_1.1.3-1build3_s390x..> 27-Jan-2023 14:14      3M
libcoq-mathcomp-real-closed_1.1.3-1build5_arm64..> 17-Feb-2023 01:50      3M
libcoq-mathcomp-real-closed_1.1.3-1build5_armhf..> 17-Feb-2023 03:44      3M
libcoq-mathcomp-real-closed_1.1.3-1build5_ppc64..> 17-Feb-2023 02:44      3M
libcoq-mathcomp-real-closed_1.1.3-1build5_riscv..> 17-Feb-2023 12:09      3M
libcoq-mathcomp-real-closed_1.1.3-1build5_s390x..> 17-Feb-2023 03:44      3M
mathcomp-real-closed_1.1.3-1.debian.tar.xz         08-Jul-2022 12:24    8676
mathcomp-real-closed_1.1.3-1.dsc                   08-Jul-2022 12:24    2264
mathcomp-real-closed_1.1.3-1build2.debian.tar.xz   03-Dec-2022 19:29    8776
mathcomp-real-closed_1.1.3-1build2.dsc             03-Dec-2022 19:29    2263
mathcomp-real-closed_1.1.3-1build3.debian.tar.xz   27-Jan-2023 14:14    8788
mathcomp-real-closed_1.1.3-1build3.dsc             27-Jan-2023 14:14    2263
mathcomp-real-closed_1.1.3-1build5.debian.tar.xz   17-Feb-2023 01:50    8808
mathcomp-real-closed_1.1.3-1build5.dsc             17-Feb-2023 01:50    2263
mathcomp-real-closed_1.1.3.orig.tar.gz             08-Jul-2022 12:24    116K