Index of /pool/main/c/coq-corn

 Name                              Last modified      Size  Description
 Parent Directory                                       -   
 libcoq-corn_8.20.0-1+b4_arm64.deb 2025-06-17 13:28   13M  
 libcoq-corn_8.20.0-1+b4_amd64.deb 2025-06-17 13:08   13M  
 coq-corn_8.20.0.orig.tar.gz       2025-02-17 17:37  1.3M  
 coq-corn_8.20.0-1.dsc             2025-02-17 17:37  2.1K  
 coq-corn_8.20.0-1.debian.tar.xz   2025-02-17 17:37  4.2K