Index of /debian/pool/main/m/mathcomp-zify/
../
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_amd64..> 13-Feb-2023 11:14    223K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_arm64..> 13-Feb-2023 11:14    223K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_armhf..> 13-Feb-2023 11:14    223K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_i386.deb 13-Feb-2023 11:29    223K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_ppc64..> 14-Feb-2023 03:56    223K
libcoq-mathcomp-zify_1.2.0+1.12+8.13-6+b4_s390x..> 13-Feb-2023 13:55    223K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_amd64..> 28-Dec-2025 09:52    267K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_arm64..> 28-Dec-2025 09:46    267K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_ppc64..> 28-Dec-2025 10:07    267K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_riscv..> 29-Dec-2025 02:59    267K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b15_s390x..> 28-Dec-2025 10:42    267K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_amd64.deb 15-Jun-2025 07:51    266K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_arm64.deb 15-Jun-2025 11:13    266K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_ppc64e..> 15-Jun-2025 12:24    266K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_riscv6..> 18-Jun-2025 00:50    266K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_s390x.deb 18-Jun-2025 02:23    266K
libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_arm64.deb    30-Oct-2025 18:45    260K
libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_ppc64el.deb  31-Oct-2025 00:43    260K
libcoq-mathcomp-zify_1.6.0+2.3+8.18-1_s390x.deb    31-Oct-2025 15:24    260K
libcoq-mathcomp-zify_1.6.0+2.3+8.18-2_amd64.deb    11-Nov-2025 23:27    485K
mathcomp-zify_1.2.0+1.12+8.13-6.debian.tar.xz      05-Jul-2022 17:07    8540
mathcomp-zify_1.2.0+1.12+8.13-6.dsc                05-Jul-2022 17:07    2160
mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz          22-Apr-2022 13:25     20K
mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz       06-Dec-2024 11:22    8752
mathcomp-zify_1.5.0+2.0+8.16-4.dsc                 06-Dec-2024 11:22    2152
mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz           22-Dec-2023 14:37     21K
mathcomp-zify_1.6.0+2.3+8.18-1.debian.tar.xz       30-Oct-2025 10:58    8832
mathcomp-zify_1.6.0+2.3+8.18-1.dsc                 30-Oct-2025 10:58    2165
mathcomp-zify_1.6.0+2.3+8.18-2.debian.tar.xz       11-Nov-2025 23:27    8868
mathcomp-zify_1.6.0+2.3+8.18-2.dsc                 11-Nov-2025 23:27    2172
mathcomp-zify_1.6.0+2.3+8.18.orig.tar.gz           30-Oct-2025 10:58     21K