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

../
libcoq-mathcomp-bigenough_1.0.1-12build5_amd64.deb 10-Apr-2024 11:12               27354
libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb        27-Aug-2023 04:51               27836
mathcomp-bigenough_1.0.1-1.debian.tar.xz           27-Aug-2023 04:51                8340
mathcomp-bigenough_1.0.1-1.dsc                     27-Aug-2023 04:51                2107
mathcomp-bigenough_1.0.1-12build5.debian.tar.xz    10-Apr-2024 11:12                8928
mathcomp-bigenough_1.0.1-12build5.dsc              10-Apr-2024 11:12                2232
mathcomp-bigenough_1.0.1.orig.tar.gz               27-Aug-2023 04:51               12248