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

---

../
libcoq-mathcomp-analysis_0.3.13-1_amd64.deb        18-Feb-2022 23:14      6M
libcoq-mathcomp-analysis_0.5.3-1build1_amd64.deb   30-Aug-2022 17:48     11M
libcoq-mathcomp-analysis_0.6.0-1_amd64.deb         15-Dec-2022 06:54     12M
libcoq-mathcomp-analysis_0.6.0-2_amd64.deb         28-Jan-2023 02:29     12M
libcoq-mathcomp-analysis_0.6.0-2build1_amd64.deb   28-Jan-2023 04:12     12M
libcoq-mathcomp-analysis_0.6.0-2build2_amd64.deb   17-Feb-2023 10:39     12M
libcoq-mathcomp-analysis_0.6.3-2build7_amd64.deb   28-Jul-2023 17:12     14M
libcoq-mathcomp-analysis_0.6.4-3build1_amd64.deb   29-Aug-2023 01:04     13M
libcoq-mathcomp-analysis_0.6.4-3build5_amd64.deb   23-Nov-2023 18:09     13M
libcoq-mathcomp-analysis_1.0.0-1_amd64.deb         30-Jan-2024 01:29     15M
libcoq-mathcomp-classical_0.6.4-3build1_amd64.deb  29-Aug-2023 01:04      2M
libcoq-mathcomp-classical_0.6.4-3build5_amd64.deb  23-Nov-2023 18:09      2M
libcoq-mathcomp-classical_1.0.0-1_amd64.deb        30-Jan-2024 01:29      2M
mathcomp-analysis_0.3.13-1.debian.tar.xz           13-Feb-2022 00:34    8276
mathcomp-analysis_0.3.13-1.dsc                     13-Feb-2022 00:34    2195
mathcomp-analysis_0.3.13.orig.tar.gz               13-Feb-2022 00:34    501K
mathcomp-analysis_0.5.3-1build1.debian.tar.xz      30-Aug-2022 17:48    8756
mathcomp-analysis_0.5.3-1build1.dsc                30-Aug-2022 17:48    2365
mathcomp-analysis_0.5.3.orig.tar.gz                12-Aug-2022 12:33    675K
mathcomp-analysis_0.6.0-1.debian.tar.xz            15-Dec-2022 06:29    8792
mathcomp-analysis_0.6.0-1.dsc                      15-Dec-2022 06:29    2343
mathcomp-analysis_0.6.0-2.debian.tar.xz            27-Jan-2023 18:55    8816
mathcomp-analysis_0.6.0-2.dsc                      27-Jan-2023 18:55    2343
mathcomp-analysis_0.6.0-2build1.debian.tar.xz      28-Jan-2023 04:12    8872
mathcomp-analysis_0.6.0-2build1.dsc                28-Jan-2023 04:12    2342
mathcomp-analysis_0.6.0-2build2.debian.tar.xz      17-Feb-2023 06:24    8896
mathcomp-analysis_0.6.0-2build2.dsc                17-Feb-2023 06:24    2342
mathcomp-analysis_0.6.0.orig.tar.gz                15-Dec-2022 06:29    701K
mathcomp-analysis_0.6.3-2build7.debian.tar.xz      28-Jul-2023 16:19    8996
mathcomp-analysis_0.6.3-2build7.dsc                28-Jul-2023 16:19    2342
mathcomp-analysis_0.6.3.orig.tar.gz                22-Jun-2023 00:22    768K
mathcomp-analysis_0.6.4-3build1.debian.tar.xz      28-Aug-2023 23:13    9196
mathcomp-analysis_0.6.4-3build1.dsc                28-Aug-2023 23:13    2424
mathcomp-analysis_0.6.4-3build5.debian.tar.xz      23-Nov-2023 18:09    9232
mathcomp-analysis_0.6.4-3build5.dsc                23-Nov-2023 18:09    2424
mathcomp-analysis_0.6.4.orig.tar.gz                24-Aug-2023 13:44    793K
mathcomp-analysis_1.0.0-1.debian.tar.xz            30-Jan-2024 00:44    9220
mathcomp-analysis_1.0.0-1.dsc                      30-Jan-2024 00:44    2403
mathcomp-analysis_1.0.0.orig.tar.gz                29-Jan-2024 15:51      1M

---