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

 Name                                  Last modified      Size  Description
 Parent Directory                                           -   
 libcoq-corn_8.19.0+ds1-1+b1_i386.deb  2024-06-15 21:01   13M  
 libcoq-corn_8.19.0+ds1-1+b1_armhf.deb 2024-06-15 21:11   13M  
 libcoq-corn_8.19.0+ds1-1+b1_arm64.deb 2024-06-15 20:56   13M  
 libcoq-corn_8.19.0+ds1-1+b1_amd64.deb 2024-06-15 21:01   13M  
 libcoq-corn_8.18.0-1_i386.deb         2023-12-24 20:55   13M  
 libcoq-corn_8.18.0-1_armhf.deb        2023-12-24 21:11   13M  
 libcoq-corn_8.18.0-1_arm64.deb        2023-12-24 21:11   13M  
 libcoq-corn_8.18.0-1_amd64.deb        2023-12-24 20:55   13M  
 coq-corn_8.19.0+ds1.orig.tar.gz       2024-05-12 00:55  1.3M  
 coq-corn_8.19.0+ds1-1.dsc             2024-05-12 00:55  2.1K  
 coq-corn_8.19.0+ds1-1.debian.tar.xz   2024-05-12 00:55  4.1K  
 coq-corn_8.18.0.orig.tar.gz           2023-12-22 20:07  1.3M  
 coq-corn_8.18.0-1.dsc                 2023-12-22 20:07  2.0K  
 coq-corn_8.18.0-1.debian.tar.xz       2023-12-22 20:07  4.0K