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


../
libcoq-mathcomp-bigenough_1.0.1-1_amd64.deb                                                                              13-Feb-2022 02:19     27K
libcoq-mathcomp-bigenough_1.0.1-7_amd64.deb                                                                              12-Jun-2022 23:24     27K
mathcomp-bigenough_1.0.1-1.debian.tar.xz                                                                                 12-Feb-2022 17:34    8340
mathcomp-bigenough_1.0.1-1.dsc                                                                                           12-Feb-2022 17:34    2107
mathcomp-bigenough_1.0.1-7.debian.tar.xz                                                                                 12-Jun-2022 23:24    8516
mathcomp-bigenough_1.0.1-7.dsc                                                                                           12-Jun-2022 23:24    2115
mathcomp-bigenough_1.0.1.orig.tar.gz                                                                                     12-Feb-2022 17:34     12K