Filename Modification time Size libcoq-mathcomp-analysis_0.3.13-1_amd64.deb 2022-02-18 17:14 CET 6330 KiB libcoq-mathcomp-analysis_1.0.0-1build4_amd64.deb 2024-04-08 18:11 CEST 15 MiB libcoq-mathcomp-analysis_1.9.0-1_amd64.deb 2025-03-16 15:58 CET 19 MiB libcoq-mathcomp-analysis_1.9.0-1build4_amd64.deb 2025-09-02 10:35 CEST 19 MiB libcoq-mathcomp-analysis_1.9.0-1build5_amd64.deb 2025-10-26 14:29 CET 19 MiB libcoq-mathcomp-analysis_1.9.0-1build5_amd64v3.deb 2025-10-26 14:30 CET 19 MiB libcoq-mathcomp-classical_1.0.0-1build4_amd64.deb 2024-04-08 18:11 CEST 2404 KiB libcoq-mathcomp-classical_1.9.0-1_amd64.deb 2025-03-16 15:58 CET 3767 KiB libcoq-mathcomp-classical_1.9.0-1build4_amd64.deb 2025-09-02 10:35 CEST 3761 KiB libcoq-mathcomp-classical_1.9.0-1build5_amd64.deb 2025-10-26 14:29 CET 3761 KiB libcoq-mathcomp-classical_1.9.0-1build5_amd64v3.deb 2025-10-26 14:30 CET 3761 KiB mathcomp-analysis_0.3.13-1.debian.tar.xz 2022-02-12 18:34 CET 8276 B mathcomp-analysis_0.3.13-1.dsc 2022-02-12 18:34 CET 2195 B mathcomp-analysis_0.3.13.orig.tar.gz 2022-02-12 18:34 CET 501 KiB mathcomp-analysis_1.0.0-1build4.debian.tar.xz 2024-04-08 09:57 CEST 9396 B mathcomp-analysis_1.0.0-1build4.dsc 2024-04-08 09:57 CEST 2506 B mathcomp-analysis_1.0.0.orig.tar.gz 2024-01-29 09:51 CET 1147 KiB mathcomp-analysis_1.9.0-1.debian.tar.xz 2025-03-16 14:33 CET 9484 B mathcomp-analysis_1.9.0-1.dsc 2025-03-16 14:33 CET 2437 B mathcomp-analysis_1.9.0-1build4.debian.tar.xz 2025-08-31 21:42 CEST 9604 B mathcomp-analysis_1.9.0-1build4.dsc 2025-08-31 21:42 CEST 2424 B mathcomp-analysis_1.9.0-1build5.debian.tar.xz 2025-10-23 02:05 CEST 9628 B mathcomp-analysis_1.9.0-1build5.dsc 2025-10-23 02:05 CEST 2424 B mathcomp-analysis_1.9.0.orig.tar.gz 2025-03-16 14:33 CET 890 KiB
