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

---

../
libcoq-mathcomp-finmap_1.5.2-1_arm64.deb           16-Aug-2022 00:39    773K
libcoq-mathcomp-finmap_1.5.2-1_armhf.deb           16-Aug-2022 00:39    773K
libcoq-mathcomp-finmap_1.5.2-1_ppc64el.deb         16-Aug-2022 00:40    773K
libcoq-mathcomp-finmap_1.5.2-1_riscv64.deb         16-Aug-2022 01:34    773K
libcoq-mathcomp-finmap_1.5.2-1_s390x.deb           16-Aug-2022 08:36    773K
libcoq-mathcomp-finmap_1.5.2-1build2_arm64.deb     03-Dec-2022 21:54    791K
libcoq-mathcomp-finmap_1.5.2-1build2_armhf.deb     03-Dec-2022 21:54    791K
libcoq-mathcomp-finmap_1.5.2-1build2_ppc64el.deb   03-Dec-2022 19:29    791K
libcoq-mathcomp-finmap_1.5.2-1build2_riscv64.deb   04-Dec-2022 02:04    791K
libcoq-mathcomp-finmap_1.5.2-1build2_s390x.deb     03-Dec-2022 19:29    791K
libcoq-mathcomp-finmap_1.5.2-1build3_arm64.deb     26-Jan-2023 23:39    791K
libcoq-mathcomp-finmap_1.5.2-1build3_armhf.deb     26-Jan-2023 23:39    790K
libcoq-mathcomp-finmap_1.5.2-1build3_ppc64el.deb   26-Jan-2023 23:39    791K
libcoq-mathcomp-finmap_1.5.2-1build3_riscv64.deb   27-Jan-2023 14:38    791K
libcoq-mathcomp-finmap_1.5.2-1build3_s390x.deb     26-Jan-2023 23:39    791K
libcoq-mathcomp-finmap_1.5.2-1build5_arm64.deb     17-Feb-2023 01:50    790K
libcoq-mathcomp-finmap_1.5.2-1build5_armhf.deb     17-Feb-2023 01:50    790K
libcoq-mathcomp-finmap_1.5.2-1build5_ppc64el.deb   17-Feb-2023 01:50    790K
libcoq-mathcomp-finmap_1.5.2-1build5_riscv64.deb   17-Feb-2023 09:34    790K
libcoq-mathcomp-finmap_1.5.2-1build5_s390x.deb     17-Feb-2023 02:44    790K
mathcomp-finmap_1.5.1-1.debian.tar.xz              13-Feb-2022 00:34    8344
mathcomp-finmap_1.5.1-1.dsc                        13-Feb-2022 00:34    2071
mathcomp-finmap_1.5.1.orig.tar.gz                  13-Feb-2022 00:34     62K
mathcomp-finmap_1.5.2-1.debian.tar.xz              16-Aug-2022 00:18    8684
mathcomp-finmap_1.5.2-1.dsc                        16-Aug-2022 00:18    2126
mathcomp-finmap_1.5.2-1build2.debian.tar.xz        03-Dec-2022 16:59    8772
mathcomp-finmap_1.5.2-1build2.dsc                  03-Dec-2022 16:59    2125
mathcomp-finmap_1.5.2-1build3.debian.tar.xz        26-Jan-2023 15:54    8796
mathcomp-finmap_1.5.2-1build3.dsc                  26-Jan-2023 15:54    2125
mathcomp-finmap_1.5.2-1build5.debian.tar.xz        17-Feb-2023 01:50    8816
mathcomp-finmap_1.5.2-1build5.dsc                  17-Feb-2023 01:50    2125
mathcomp-finmap_1.5.2.orig.tar.gz                  16-Aug-2022 00:18     63K

---