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

Icon  Name                                               Last modified      Size  Description
[PARENTDIR] Parent Directory                                                        -   
[   ] libcoq-gappa_1.7.0-1+b1_arm64.deb                  2025-06-15 19:15  541K  
[   ] libcoq-gappa_1.7.0-1_arm64.deb                     2025-02-21 00:06  540K  
[   ] libcoq-gappa_1.7.0-1+b1_amd64.deb                  2025-06-15 19:15  538K  
[   ] libcoq-gappa_1.7.0-1_amd64.deb                     2025-02-21 00:06  537K  
[   ] coq-gappa_1.7.0.orig.tar.bz2                       2025-02-20 23:41   75K  
[   ] coq-gappa_1.7.0-1.debian.tar.xz                    2025-02-20 23:41  2.2K  
[TXT] coq-gappa_1.7.0-1.dsc                              2025-02-20 23:41  2.0K
Apache/2.4.64 (Debian) Server at mirror.freedif.org Port 443