Index of /pardus/pool/main/m/mathcomp-finmap/

../
libcoq-mathcomp-finmap_1.5.2-1+b4_amd64.deb        28-Apr-2023 18:10    692K
libcoq-mathcomp-finmap_1.5.2-1+b4_arm64.deb        28-Apr-2023 18:33    692K
libcoq-mathcomp-finmap_1.5.2-1+b4_i386.deb         28-Apr-2023 18:04    691K
libcoq-mathcomp-finmap_2.1.0-3+b7_amd64.deb        13-Aug-2025 02:38    827K
libcoq-mathcomp-finmap_2.1.0-3+b7_arm64.deb        13-Aug-2025 04:34    827K
mathcomp-finmap_1.5.2-1.debian.tar.xz              28-Nov-2022 15:27    8684
mathcomp-finmap_1.5.2-1.dsc                        28-Nov-2022 15:27    2126
mathcomp-finmap_1.5.2.orig.tar.gz                  28-Nov-2022 15:27     63K
mathcomp-finmap_2.1.0-3.debian.tar.xz              13-Aug-2025 00:32    8972
mathcomp-finmap_2.1.0-3.dsc                        13-Aug-2025 00:32    2126
mathcomp-finmap_2.1.0.orig.tar.gz                  13-Aug-2025 00:32     58K