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

../
libcoq-mathcomp-bigenough_1.0.1-12build5_amd64.deb 11-Apr-2024 04:31               27354
libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb        13-Apr-2022 17:28               27836
mathcomp-bigenough_1.0.1-1.debian.tar.xz           13-Apr-2022 17:28                8340
mathcomp-bigenough_1.0.1-1.dsc                     13-Apr-2022 17:28                2107
mathcomp-bigenough_1.0.1-12build5.debian.tar.xz    11-Apr-2024 04:31                8928
mathcomp-bigenough_1.0.1-12build5.dsc              11-Apr-2024 04:31                2232
mathcomp-bigenough_1.0.1.orig.tar.gz               13-Apr-2022 17:28               12248