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


../
libcoq-mathcomp-zify_1.2.0+1.12+8.13-5_amd64.deb   12-Jun-2022 23:24              269438
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               20333