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


../
libcoq-mathcomp-multinomials_1.5.5-7_amd64.deb                                                                           28-Jun-2022 11:39      1M
mathcomp-multinomials_1.5.5-7.debian.tar.xz                                                                              28-Jun-2022 11:39    8624
mathcomp-multinomials_1.5.5-7.dsc                                                                                        28-Jun-2022 11:39    2227
mathcomp-multinomials_1.5.5-8.debian.tar.xz                                                                              05-Jul-2022 23:28    8724
mathcomp-multinomials_1.5.5-8.dsc                                                                                        05-Jul-2022 23:28    2274
mathcomp-multinomials_1.5.5.orig.tar.gz                                                                                  19-May-2022 23:34     85K