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


../
libcoq-mathcomp-zify_1.2.0+1.12+8.13-5_amd64.deb                                                                         12-Jun-2022 23:24    263K
mathcomp-zify_1.2.0+1.12+8.13-5.debian.tar.xz                                                                            12-Jun-2022 23:24    8444
mathcomp-zify_1.2.0+1.12+8.13-5.dsc                                                                                      12-Jun-2022 23:24    2113
mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz                                                                                16-May-2022 23:24     20K