Index of /pub/linux/kali/pool/main/c/coq-corn

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 coq-corn_8.19.0+ds1-2.debian.tar.xz   2024-11-20 19:07  4.2K  
 coq-corn_8.19.0+ds1-2.dsc             2024-11-20 19:07  2.1K  
 coq-corn_8.19.0+ds1.orig.tar.gz       2024-05-12 00:55  1.3M  
 coq-corn_8.20.0-1.debian.tar.xz       2025-02-18 01:37  4.2K  
 coq-corn_8.20.0-1.dsc                 2025-02-18 01:37  2.1K  
 coq-corn_8.20.0.orig.tar.gz           2025-02-18 01:37  1.3M  
 libcoq-corn_8.19.0+ds1-2+b2_arm64.deb 2025-01-30 17:33   13M  
 libcoq-corn_8.19.0+ds1-2+b3_amd64.deb 2025-01-30 16:57   13M  
 libcoq-corn_8.20.0-1+b1_amd64.deb     2025-02-18 09:51   13M  
 libcoq-corn_8.20.0-1+b1_arm64.deb     2025-02-18 11:22   13M  
 libcoq-corn_8.20.0-1+b2_amd64.deb     2025-03-18 23:56   13M  
 libcoq-corn_8.20.0-1+b2_arm64.deb     2025-03-18 23:56   13M