Index of /kali/pool/main/c/coq-hott

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] libcoq-hott_9.0-1+b2_arm64.deb                     2025-06-15 18:49   14M  
[   ] libcoq-hott_9.0-1+b2_amd64.deb                     2025-06-15 18:49   14M  
[   ] libcoq-hott_9.0-1+b1_arm64.deb                     2025-02-18 08:35   14M  
[   ] libcoq-hott_9.0-1+b1_amd64.deb                     2025-02-18 08:15   14M  
[   ] coq-hott_9.0.orig.tar.gz                           2025-02-18 00:37  1.1M  
[TXT] coq-hott_9.0-1.dsc                                 2025-02-18 00:37  2.0K  
[   ] coq-hott_9.0-1.debian.tar.xz                       2025-02-18 00:37  2.9K
Apache/2.4.64 (Debian) Server at mirror.freedif.org Port 443