Filename Modification time Size libcoq-mathcomp-finmap_1.5.1-1_amd64.deb 2022-02-13 03:19 CET 783 KiB libcoq-mathcomp-finmap_1.5.2-1build5_amd64.deb 2023-02-16 19:50 CET 790 KiB libcoq-mathcomp-finmap_1.5.2-3_amd64.deb 2023-07-25 19:19 CEST 790 KiB libcoq-mathcomp-finmap_2.0.0-2build5_amd64.deb 2024-04-08 16:36 CEST 713 KiB libcoq-mathcomp-finmap_2.1.0-2build1_amd64.deb 2024-08-05 14:09 CEST 901 KiB libcoq-mathcomp-finmap_2.1.0-2build3_amd64.deb 2024-08-15 09:47 CEST 901 KiB mathcomp-finmap_1.5.1-1.debian.tar.xz 2022-02-12 18:34 CET 8344 B mathcomp-finmap_1.5.1-1.dsc 2022-02-12 18:34 CET 2071 B mathcomp-finmap_1.5.1.orig.tar.gz 2022-02-12 18:34 CET 62 KiB mathcomp-finmap_1.5.2-1build5.debian.tar.xz 2023-02-16 19:50 CET 8816 B mathcomp-finmap_1.5.2-1build5.dsc 2023-02-16 19:50 CET 2125 B mathcomp-finmap_1.5.2-3.debian.tar.xz 2023-07-25 07:45 CEST 8804 B mathcomp-finmap_1.5.2-3.dsc 2023-07-25 07:45 CEST 1901 B mathcomp-finmap_1.5.2.orig.tar.gz 2022-08-15 19:18 CEST 63 KiB mathcomp-finmap_2.0.0-2build5.debian.tar.xz 2024-04-08 09:57 CEST 9108 B mathcomp-finmap_2.0.0-2build5.dsc 2024-04-08 09:57 CEST 2204 B mathcomp-finmap_2.0.0.orig.tar.gz 2023-12-25 18:31 CET 56 KiB mathcomp-finmap_2.1.0-2build1.debian.tar.xz 2024-08-05 14:08 CEST 9000 B mathcomp-finmap_2.1.0-2build1.dsc 2024-08-05 14:08 CEST 2125 B mathcomp-finmap_2.1.0-2build3.debian.tar.xz 2024-08-15 09:47 CEST 9044 B mathcomp-finmap_2.1.0-2build3.dsc 2024-08-15 09:47 CEST 2125 B mathcomp-finmap_2.1.0.orig.tar.gz 2024-05-03 03:51 CEST 58 KiB