Index of /kali/pool/main/m/mathcomp-multinomials/
../
libcoq-mathcomp-multinomials_2.5.0-3+b3_amd64.deb  02-Nov-2026 11:07      2M
libcoq-mathcomp-multinomials_2.5.0-3+b3_arm64.deb  02-Nov-2026 10:46      2M
mathcomp-multinomials_2.5.0-3.debian.tar.xz        12-Aug-2026 16:32    9172
mathcomp-multinomials_2.5.0-3.dsc                  12-Aug-2026 16:32    2306
mathcomp-multinomials_2.5.0.orig.tar.gz            21-Jul-2026 02:43     83K