Index of /debian/pool/main/m/mathcomp-zify/

../
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b2_amd64..> 30-Nov-2022 04:43              228576
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b2_arm64..> 30-Nov-2022 04:43              228472
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b2_armhf..> 30-Nov-2022 03:57              228408
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b2_i386.deb 30-Nov-2022 01:56              228416
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b2_ppc64..> 30-Nov-2022 04:12              228836
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b2_s390x..> 30-Nov-2022 04:58              228312
mathcomp-zify_1.2.0+1.12+8.13-6.debian.tar.xz      05-Jul-2022 13:37                8540
mathcomp-zify_1.2.0+1.12+8.13-6.dsc                05-Jul-2022 13:37                2160
mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz          22-Apr-2022 09:55               20333