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

../
libcoq-mathcomp-bigenough_1.0.1-12build5_amd64.deb 06-May-2024 22:51     27K
libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb        29-Aug-2022 18:26     27K
mathcomp-bigenough_1.0.1-1.debian.tar.xz           29-Aug-2022 18:26    8340
mathcomp-bigenough_1.0.1-1.dsc                     29-Aug-2022 18:26    2107
mathcomp-bigenough_1.0.1-12build5.debian.tar.xz    06-May-2024 22:51    8928
mathcomp-bigenough_1.0.1-12build5.dsc              06-May-2024 22:51    2232
mathcomp-bigenough_1.0.1.orig.tar.gz               06-Nov-2024 22:18     12K