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

../
libcoq-mathcomp-bigenough_1.0.1-12build5_amd64.deb 04-Mar-2026 10:03     27K
libcoq-mathcomp-bigenough_1.0.2-1build10_amd64.deb 22-Jul-2026 19:36     23K
mathcomp-bigenough_1.0.1-12build5.debian.tar.xz    04-Mar-2026 10:03    8928
mathcomp-bigenough_1.0.1-12build5.dsc              04-Mar-2026 10:03    2232
mathcomp-bigenough_1.0.1.orig.tar.gz               04-Mar-2026 10:03     12K
mathcomp-bigenough_1.0.2-1build10.debian.tar.xz    22-Jul-2026 19:36    9076
mathcomp-bigenough_1.0.2-1build10.dsc              22-Jul-2026 19:36    2153
mathcomp-bigenough_1.0.2.orig.tar.gz               22-Jul-2026 19:36     12K