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

../
libcoq-mathcomp-finmap_1.5.2-1+b4_amd64.deb        13-Feb-2023 15:44              708448
libcoq-mathcomp-finmap_2.0.0-2+b1_amd64.deb        16-Feb-2024 23:04              640144
libcoq-mathcomp-finmap_2.1.0-1+b1_amd64.deb        05-Jun-2024 07:43              683652
libcoq-mathcomp-finmap_2.1.0-1+b2_amd64.deb        15-Jun-2024 21:12              683516
libcoq-mathcomp-finmap_2.1.0-1_amd64.deb           30-Apr-2024 23:06              683428
libcoq-mathcomp-finmap_2.1.0-2+b1_amd64.deb        09-Aug-2024 05:34              818752
libcoq-mathcomp-finmap_2.1.0-2+b2_amd64.deb        21-Aug-2024 16:05              818608
libcoq-mathcomp-finmap_2.1.0-2+b3_amd64.deb        31-Aug-2024 13:16              818792
libcoq-mathcomp-finmap_2.1.0-2+b4_amd64.deb        17-Sep-2024 19:38              818436
libcoq-mathcomp-finmap_2.1.0-2+b5_amd64.deb        13-Oct-2024 19:54              818844
libcoq-mathcomp-finmap_2.1.0-2+b6_amd64.deb        21-Nov-2024 08:08              816072
libcoq-mathcomp-finmap_2.1.0-2_amd64.deb           05-Aug-2024 03:36              818352
libcoq-mathcomp-finmap_2.1.0-3+b10_amd64.deb       16-Sep-2025 19:52              846584
libcoq-mathcomp-finmap_2.1.0-3+b11_amd64.deb       24-Sep-2025 18:24              846420
libcoq-mathcomp-finmap_2.1.0-3+b12_amd64.deb       17-Oct-2025 20:46              846400
libcoq-mathcomp-finmap_2.1.0-3+b13_amd64.deb       29-Oct-2025 04:48              846468
libcoq-mathcomp-finmap_2.1.0-3+b15_amd64.deb       28-Dec-2025 14:17              846384
libcoq-mathcomp-finmap_2.1.0-3+b1_amd64.deb        20-Dec-2024 00:40              851076
libcoq-mathcomp-finmap_2.1.0-3+b2_amd64.deb        15-Jan-2025 14:47              850744
libcoq-mathcomp-finmap_2.1.0-3+b3_amd64.deb        29-Jan-2025 04:01              850800
libcoq-mathcomp-finmap_2.1.0-3+b6_amd64.deb        19-Mar-2025 02:46              846472
libcoq-mathcomp-finmap_2.1.0-3+b7_amd64.deb        15-Jun-2025 12:21              846352
libcoq-mathcomp-finmap_2.1.0-3+b8_amd64.deb        26-Aug-2025 20:06              846412
libcoq-mathcomp-finmap_2.1.0-3+b9_amd64.deb        12-Sep-2025 05:57              846416
libcoq-mathcomp-finmap_2.1.0-3_amd64.deb           24-Nov-2024 21:46              815616
libcoq-mathcomp-finmap_2.2.2-1_amd64.deb           30-Oct-2025 15:23              906456
libcoq-mathcomp-finmap_2.2.2-2_amd64.deb           12-Nov-2025 03:57              978088
mathcomp-finmap_1.5.2-1.debian.tar.xz              15-Aug-2022 20:06                8684
mathcomp-finmap_1.5.2-1.dsc                        15-Aug-2022 20:06                2126
mathcomp-finmap_1.5.2.orig.tar.gz                  15-Aug-2022 20:06               64753
mathcomp-finmap_2.0.0-2.debian.tar.xz              21-Jan-2024 16:39                8864
mathcomp-finmap_2.0.0-2.dsc                        21-Jan-2024 16:39                2126
mathcomp-finmap_2.0.0.orig.tar.gz                  22-Dec-2023 19:07               57254
mathcomp-finmap_2.1.0-1.debian.tar.xz              26-Apr-2024 22:11                8880
mathcomp-finmap_2.1.0-1.dsc                        26-Apr-2024 22:11                2126
mathcomp-finmap_2.1.0-2.debian.tar.xz              03-Aug-2024 20:47                8928
mathcomp-finmap_2.1.0-2.dsc                        03-Aug-2024 20:47                1901
mathcomp-finmap_2.1.0-3.debian.tar.xz              24-Nov-2024 21:09                8972
mathcomp-finmap_2.1.0-3.dsc                        24-Nov-2024 21:09                2126
mathcomp-finmap_2.1.0.orig.tar.gz                  26-Apr-2024 22:11               59519
mathcomp-finmap_2.2.2-1.debian.tar.xz              30-Oct-2025 15:23                9080
mathcomp-finmap_2.2.2-1.dsc                        30-Oct-2025 15:23                2138
mathcomp-finmap_2.2.2-2.debian.tar.xz              12-Nov-2025 03:57                9120
mathcomp-finmap_2.2.2-2.dsc                        12-Nov-2025 03:57                2145
mathcomp-finmap_2.2.2.orig.tar.gz                  30-Oct-2025 15:23               61790