Index of /kali/pool/main/m/mathcomp-zify/
../
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b6_amd64.deb 19-Mar-2025 02:51 266K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b6_arm64.deb 19-Mar-2025 03:12 266K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_amd64.deb 15-Jun-2025 12:21 266K
libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_arm64.deb 15-Jun-2025 15:43 266K
mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz 06-Dec-2024 15:52 8752
mathcomp-zify_1.5.0+2.0+8.16-4.dsc 06-Dec-2024 15:52 2152
mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz 22-Dec-2023 19:07 21K