| Parent directory/ | - | - |
| libcoq-mathcomp-analysis_0.6.0-2build2_arm64.deb | 12517996 | 17-Feb-2023 06:09 |
| libcoq-mathcomp-analysis_0.6.0-2build2_ppc64el.deb | 12518074 | 17-Feb-2023 05:39 |
| libcoq-mathcomp-analysis_0.6.0-2build2_riscv64.deb | 12518146 | 17-Feb-2023 11:14 |
| libcoq-mathcomp-analysis_0.6.4-3build1_arm64.deb | 13954856 | 28-Aug-2023 18:04 |
| libcoq-mathcomp-analysis_0.6.4-3build1_ppc64el.deb | 13955014 | 28-Aug-2023 18:04 |
| libcoq-mathcomp-analysis_0.6.4-3build1_riscv64.deb | 13954696 | 28-Aug-2023 22:39 |
| libcoq-mathcomp-analysis_1.0.0-1build1_arm64.deb | 15900612 | 17-Feb-2024 18:32 |
| libcoq-mathcomp-analysis_1.0.0-1build1_armhf.deb | 15869212 | 17-Feb-2024 17:12 |
| libcoq-mathcomp-analysis_1.0.0-1build1_ppc64el.deb | 15900632 | 17-Feb-2024 17:52 |
| libcoq-mathcomp-analysis_1.0.0-1build1_riscv64.deb | 15900716 | 18-Feb-2024 12:02 |
| libcoq-mathcomp-analysis_1.0.0-1build1_s390x.deb | 15900572 | 17-Feb-2024 17:12 |
| libcoq-mathcomp-classical_0.6.4-3build1_arm64.deb | 2371590 | 28-Aug-2023 18:04 |
| libcoq-mathcomp-classical_0.6.4-3build1_ppc64el..> | 2371376 | 28-Aug-2023 18:04 |
| libcoq-mathcomp-classical_0.6.4-3build1_riscv64..> | 2371344 | 28-Aug-2023 22:39 |
| libcoq-mathcomp-classical_1.0.0-1build1_arm64.deb | 2461908 | 17-Feb-2024 18:32 |
| libcoq-mathcomp-classical_1.0.0-1build1_armhf.deb | 2458254 | 17-Feb-2024 17:12 |
| libcoq-mathcomp-classical_1.0.0-1build1_ppc64el..> | 2461960 | 17-Feb-2024 17:52 |
| libcoq-mathcomp-classical_1.0.0-1build1_riscv64..> | 2461996 | 18-Feb-2024 12:02 |
| libcoq-mathcomp-classical_1.0.0-1build1_s390x.deb | 2462030 | 17-Feb-2024 17:12 |
| mathcomp-analysis_0.3.13-1.debian.tar.xz | 8276 | 12-Feb-2022 17:34 |
| mathcomp-analysis_0.3.13-1.dsc | 2195 | 12-Feb-2022 17:34 |
| mathcomp-analysis_0.3.13.orig.tar.gz | 513213 | 12-Feb-2022 17:34 |
| mathcomp-analysis_0.6.0-2build2.debian.tar.xz | 8896 | 16-Feb-2023 23:24 |
| mathcomp-analysis_0.6.0-2build2.dsc | 2342 | 16-Feb-2023 23:24 |
| mathcomp-analysis_0.6.0.orig.tar.gz | 717379 | 14-Dec-2022 23:29 |
| mathcomp-analysis_0.6.4-3build1.debian.tar.xz | 9196 | 28-Aug-2023 16:13 |
| mathcomp-analysis_0.6.4-3build1.dsc | 2424 | 28-Aug-2023 16:13 |
| mathcomp-analysis_0.6.4.orig.tar.gz | 811547 | 24-Aug-2023 06:44 |
| mathcomp-analysis_1.0.0-1build1.debian.tar.xz | 9256 | 17-Feb-2024 00:37 |
| mathcomp-analysis_1.0.0-1build1.dsc | 2427 | 17-Feb-2024 00:37 |
| mathcomp-analysis_1.0.0.orig.tar.gz | 1174232 | 29-Jan-2024 08:51 |
