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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 mathcomp-zify_1.5.0+2.0+8.16.orig.tar.gz           2023-12-22 19:07   21K  
 mathcomp-zify_1.5.0+2.0+8.16-4.debian.tar.xz       2024-12-06 15:52  8.5K  
 mathcomp-zify_1.5.0+2.0+8.16-4.dsc                 2024-12-06 15:52  2.1K  
 libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b6_amd64.deb 2025-03-19 02:51  266K  
 libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b6_arm64.deb 2025-03-19 03:12  266K