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

../
libcoq-mathcomp-multinomials_2.2.0-1build5_amd6..> 11-Apr-2024 04:31             1629440
libcoq-mathcomp-multinomials_2.3.0-1build15_amd..> 10-Apr-2026 05:58             2082548
mathcomp-multinomials_2.2.0-1build5.debian.tar.xz  11-Apr-2024 04:31                9100
mathcomp-multinomials_2.2.0-1build5.dsc            11-Apr-2024 04:31                2352
mathcomp-multinomials_2.2.0.orig.tar.gz            08-Mar-2024 10:47               81190
mathcomp-multinomials_2.3.0-1build15.debian.tar.xz 10-Apr-2026 05:58                9364
mathcomp-multinomials_2.3.0-1build15.dsc           10-Apr-2026 05:58                2300
mathcomp-multinomials_2.3.0.orig.tar.gz            10-Apr-2026 05:58               81439