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


../
libcoq-mathcomp-finmap_1.5.1-1_amd64.deb           13-Feb-2022 09:19    783K
libcoq-mathcomp-finmap_1.5.2-1build5_amd64.deb     17-Feb-2023 01:50    790K
libcoq-mathcomp-finmap_1.5.2-3_amd64.deb           26-Jul-2023 00:19    790K
libcoq-mathcomp-finmap_2.0.0-2build2_amd64.deb     17-Feb-2024 22:52    713K
libcoq-mathcomp-finmap_2.0.0-2build3_amd64.deb     25-Mar-2024 06:33    713K
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-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-3.debian.tar.xz              25-Jul-2023 12:45    8804
mathcomp-finmap_1.5.2-3.dsc                        25-Jul-2023 12:45    1901
mathcomp-finmap_1.5.2.orig.tar.gz                  16-Aug-2022 00:18     63K
mathcomp-finmap_2.0.0-2build2.debian.tar.xz        17-Feb-2024 07:37    8980
mathcomp-finmap_2.0.0-2build2.dsc                  17-Feb-2024 07:37    2125
mathcomp-finmap_2.0.0-2build3.debian.tar.xz        25-Mar-2024 06:33    9076
mathcomp-finmap_2.0.0-2build3.dsc                  25-Mar-2024 06:33    2241
mathcomp-finmap_2.0.0.orig.tar.gz                  26-Dec-2023 00:31     56K