Index of /ubuntu/pool/universe/m/mathcomp-finmap/
../
libcoq-mathcomp-finmap_1.5.1-1_amd64.deb 13-Feb-2022 09:19 783K
libcoq-mathcomp-finmap_1.5.2-1build5_amd64.deb 17-Feb-2023 01:50 790K
libcoq-mathcomp-finmap_1.5.2-3_amd64.deb 26-Jul-2023 00:19 790K
libcoq-mathcomp-finmap_2.0.0-2build2_amd64.deb 17-Feb-2024 22:52 713K
libcoq-mathcomp-finmap_2.0.0-2build3_amd64.deb 25-Mar-2024 06:33 713K
mathcomp-finmap_1.5.1-1.debian.tar.xz 13-Feb-2022 00:34 8344
mathcomp-finmap_1.5.1-1.dsc 13-Feb-2022 00:34 2071
mathcomp-finmap_1.5.1.orig.tar.gz 13-Feb-2022 00:34 62K
mathcomp-finmap_1.5.2-1build5.debian.tar.xz 17-Feb-2023 01:50 8816
mathcomp-finmap_1.5.2-1build5.dsc 17-Feb-2023 01:50 2125
mathcomp-finmap_1.5.2-3.debian.tar.xz 25-Jul-2023 12:45 8804
mathcomp-finmap_1.5.2-3.dsc 25-Jul-2023 12:45 1901
mathcomp-finmap_1.5.2.orig.tar.gz 16-Aug-2022 00:18 63K
mathcomp-finmap_2.0.0-2build2.debian.tar.xz 17-Feb-2024 07:37 8980
mathcomp-finmap_2.0.0-2build2.dsc 17-Feb-2024 07:37 2125
mathcomp-finmap_2.0.0-2build3.debian.tar.xz 25-Mar-2024 06:33 9076
mathcomp-finmap_2.0.0-2build3.dsc 25-Mar-2024 06:33 2241
mathcomp-finmap_2.0.0.orig.tar.gz 26-Dec-2023 00:31 56K