Filename Modification time Size libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb 2022-02-13 03:19 CET 27 KiB libcoq-mathcomp-bigenough_1.0.1-12build5_amd64.deb 2024-04-08 16:36 CEST 27 KiB libcoq-mathcomp-bigenough_1.0.1-14build7_amd64.deb 2024-09-20 01:39 CEST 27 KiB libcoq-mathcomp-bigenough_1.0.1-14build10_amd64.deb 2024-12-20 15:16 CET 22 KiB mathcomp-bigenough_1.0.1-1.debian.tar.xz 2022-02-12 18:34 CET 8340 B mathcomp-bigenough_1.0.1-1.dsc 2022-02-12 18:34 CET 2107 B mathcomp-bigenough_1.0.1-12build5.debian.tar.xz 2024-04-08 09:57 CEST 8928 B mathcomp-bigenough_1.0.1-12build5.dsc 2024-04-08 09:57 CEST 2232 B mathcomp-bigenough_1.0.1-14build7.debian.tar.xz 2024-09-17 17:51 CEST 8968 B mathcomp-bigenough_1.0.1-14build7.dsc 2024-09-17 17:51 CEST 2153 B mathcomp-bigenough_1.0.1-14build10.debian.tar.xz 2024-12-20 15:16 CET 9032 B mathcomp-bigenough_1.0.1-14build10.dsc 2024-12-20 15:16 CET 2157 B mathcomp-bigenough_1.0.1.orig.tar.gz 2022-02-12 18:34 CET 12 KiB
