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

../
libcoq-mathcomp-finmap_1.5.1-1_amd64.deb           27-Aug-2023 04:51              801668
libcoq-mathcomp-finmap_2.0.0-2build5_amd64.deb     10-Apr-2024 11:12              729670
mathcomp-finmap_1.5.1-1.debian.tar.xz              27-Aug-2023 04:51                8344
mathcomp-finmap_1.5.1-1.dsc                        27-Aug-2023 04:51                2071
mathcomp-finmap_1.5.1.orig.tar.gz                  27-Aug-2023 04:51               63804
mathcomp-finmap_2.0.0-2build5.debian.tar.xz        10-Apr-2024 11:12                9108
mathcomp-finmap_2.0.0-2build5.dsc                  10-Apr-2024 11:12                2204
mathcomp-finmap_2.0.0.orig.tar.gz                  30-Jan-2024 05:04               57254