Index of /kali/pool/main/m/mathcomp-analysis/

../
libcoq-mathcomp-analysis_0.5.3-1+b1_amd64.deb      17-Aug-2022 07:12     10M
libcoq-mathcomp-analysis_0.5.3-1+b1_arm64.deb      17-Aug-2022 07:28     10M
libcoq-mathcomp-analysis_0.5.3-1+b1_armhf.deb      17-Aug-2022 07:12     10M
libcoq-mathcomp-analysis_0.5.3-1+b1_i386.deb       17-Aug-2022 06:57     10M
libcoq-mathcomp-analysis_0.5.4-1+b1_amd64.deb      12-Sep-2022 19:28     10M
libcoq-mathcomp-analysis_0.5.4-1+b1_arm64.deb      12-Sep-2022 19:43     10M
libcoq-mathcomp-analysis_0.5.4-1+b1_armhf.deb      12-Sep-2022 20:29     10M
libcoq-mathcomp-analysis_0.5.4-1+b1_i386.deb       12-Sep-2022 19:28     10M
libcoq-mathcomp-analysis_0.5.4-1+b2_amd64.deb      04-Oct-2022 19:41     10M
libcoq-mathcomp-analysis_0.5.4-1+b2_arm64.deb      04-Oct-2022 20:11     10M
libcoq-mathcomp-analysis_0.5.4-1+b2_armhf.deb      04-Oct-2022 19:56     10M
libcoq-mathcomp-analysis_0.5.4-1+b2_i386.deb       04-Oct-2022 19:56     10M
libcoq-mathcomp-analysis_0.5.4-3+b1_amd64.deb      15-Nov-2022 16:25     10M
libcoq-mathcomp-analysis_0.5.4-3+b1_arm64.deb      15-Nov-2022 16:40     10M
libcoq-mathcomp-analysis_0.5.4-3+b1_i386.deb       15-Nov-2022 16:15     10M
libcoq-mathcomp-analysis_0.5.4-3+b3_amd64.deb      30-Nov-2022 14:13     10M
libcoq-mathcomp-analysis_0.5.4-3+b3_arm64.deb      30-Nov-2022 14:43     10M
libcoq-mathcomp-analysis_0.5.4-3+b3_i386.deb       30-Nov-2022 12:42     10M
libcoq-mathcomp-analysis_0.6.0-2+b1_amd64.deb      14-Feb-2023 19:59     10M
libcoq-mathcomp-analysis_0.6.0-2+b1_arm64.deb      14-Feb-2023 20:17     10M
libcoq-mathcomp-analysis_0.6.0-2+b1_i386.deb       14-Feb-2023 20:00     10M
libcoq-mathcomp-analysis_0.6.3-2+b2_amd64.deb      17-Jul-2023 04:14     12M
libcoq-mathcomp-analysis_0.6.3-2+b2_arm64.deb      17-Jul-2023 02:42     12M
libcoq-mathcomp-analysis_0.6.3-2+b2_i386.deb       17-Jul-2023 01:44     12M
libcoq-mathcomp-analysis_0.6.3-2+b5_amd64.deb      28-Jul-2023 04:11     12M
libcoq-mathcomp-analysis_0.6.3-2+b5_arm64.deb      28-Jul-2023 04:57     12M
libcoq-mathcomp-analysis_0.6.3-2+b5_i386.deb       28-Jul-2023 07:27     12M
libcoq-mathcomp-analysis_0.6.4-3+b1_amd64.deb      28-Aug-2023 03:59     12M
libcoq-mathcomp-analysis_0.6.4-3+b1_arm64.deb      28-Aug-2023 04:30     12M
libcoq-mathcomp-analysis_0.6.4-3+b1_i386.deb       28-Aug-2023 03:59     12M
libcoq-mathcomp-analysis_0.6.4-3+b2_amd64.deb      22-Sep-2023 18:55     12M
libcoq-mathcomp-analysis_0.6.4-3+b2_arm64.deb      22-Sep-2023 21:12     12M
libcoq-mathcomp-analysis_0.6.4-3+b2_i386.deb       22-Sep-2023 18:50     12M
libcoq-mathcomp-classical_0.6.4-3+b1_amd64.deb     28-Aug-2023 03:59      2M
libcoq-mathcomp-classical_0.6.4-3+b1_arm64.deb     28-Aug-2023 04:30      2M
libcoq-mathcomp-classical_0.6.4-3+b1_i386.deb      28-Aug-2023 03:59      2M
libcoq-mathcomp-classical_0.6.4-3+b2_amd64.deb     22-Sep-2023 18:55      2M
libcoq-mathcomp-classical_0.6.4-3+b2_arm64.deb     22-Sep-2023 21:12      2M
libcoq-mathcomp-classical_0.6.4-3+b2_i386.deb      22-Sep-2023 18:50      2M
mathcomp-analysis_0.6.3-2.debian.tar.xz            05-Jul-2023 21:51    8868
mathcomp-analysis_0.6.3-2.dsc                      05-Jul-2023 21:51    2343
mathcomp-analysis_0.6.3.orig.tar.gz                21-Jun-2023 20:11    768K
mathcomp-analysis_0.6.4-3.debian.tar.xz            23-Aug-2023 19:14    9120
mathcomp-analysis_0.6.4-3.dsc                      23-Aug-2023 19:14    2425
mathcomp-analysis_0.6.4.orig.tar.gz                17-Aug-2023 19:07    793K