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

 Name                                               Last modified      Size  Description
 Parent Directory                                                        -   
 libcoq-elpi_2.2.3-1+b2_amd64.deb                   2024-11-21 00:41  7.2M  
 libcoq-elpi_2.2.3-1+b1_arm64.deb                   2024-11-21 00:40  7.6M  
 coq-elpi_2.2.3.orig.tar.gz                         2024-11-20 17:52  736K  
 coq-elpi_2.2.3-1.dsc                               2024-11-20 17:52  2.0K  
 coq-elpi_2.2.3-1.debian.tar.xz                     2024-11-20 17:52  3.6K  
 libcoq-elpi_2.1.0-1+b9_arm64.deb                   2024-10-12 15:22  2.8M  
 libcoq-elpi_2.1.0-1+b9_amd64.deb                   2024-10-12 15:07  2.7M  
 coq-elpi_2.1.0.orig.tar.gz                         2024-04-26 21:46  699K  
 coq-elpi_2.1.0-1.dsc                               2024-04-26 21:46  2.0K  
 coq-elpi_2.1.0-1.debian.tar.xz                     2024-04-26 21:46  3.6K