Index of /repos/pool/main/m/mathcomp-multinomials/

../
libcoq-mathcomp-multinomials_1.5.5-8+b5_amd64.deb  25-Dec-2025 06:50      1M
libcoq-mathcomp-multinomials_1.5.5-8+b5_i386.deb   25-Dec-2025 06:50      1M
libcoq-mathcomp-multinomials_2.3.0-1+b7_amd64.deb  24-Dec-2025 10:54      2M
mathcomp-multinomials_1.5.5-8.debian.tar.xz        25-Dec-2025 09:46    8724
mathcomp-multinomials_1.5.5-8.dsc                  25-Dec-2025 09:46    2274
mathcomp-multinomials_1.5.5.orig.tar.gz            25-Dec-2025 09:46     85K
mathcomp-multinomials_2.3.0-1.debian.tar.xz        24-Dec-2025 15:22    8992
mathcomp-multinomials_2.3.0-1.dsc                  24-Dec-2025 15:22    2309
mathcomp-multinomials_2.3.0.orig.tar.gz            24-Dec-2025 15:22     80K