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

../
libmathcomp-coq_1.5-4build1_all.deb                21-Mar-2025 21:47            22741572
mathcomp_1.5-4build1.debian.tar.xz                 21-Mar-2025 21:47                9556
mathcomp_1.5-4build1.dsc                           21-Mar-2025 21:47                2023
mathcomp_1.5.orig.tar.gz                           21-Mar-2025 21:47             1043834