Index of /ubuntu/pool/universe/c/coq-elpi

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 coq-elpi_2.5.0-1.1ub..> 2025-10-24 15:23  3.9K  tar archive
 coq-elpi_2.5.0-1.1bu..> 2025-08-31 15:42  3.8K  tar archive
 coq-elpi_2.4.0-1buil..> 2025-02-18 16:25  3.8K  tar archive
 coq-elpi_1.19.3-2bui..> 2024-04-08 03:57  3.8K  tar archive
 coq-elpi_1.13.0-1.de..> 2022-02-10 18:14  2.5K  tar archive
 coq-elpi_2.5.0.orig...> 2025-05-01 12:23  728K  GZIP compressed docume>
 coq-elpi_2.4.0.orig...> 2025-02-17 20:39  718K  GZIP compressed docume>
 coq-elpi_1.19.3.orig..> 2023-12-22 12:26  558K  GZIP compressed docume>
 coq-elpi_1.13.0.orig..> 2022-02-10 18:14  352K  GZIP compressed docume>
 libcoq-elpi_2.5.0-1...> 2025-10-24 15:24   12M  
 libcoq-elpi_2.5.0-1...> 2025-10-24 15:24   12M  
 libcoq-elpi_2.5.0-1...> 2025-08-31 23:34   12M  
 libcoq-elpi_2.4.0-1b..> 2025-02-18 16:25   13M  
 libcoq-elpi_1.19.3-2..> 2024-04-08 03:57  3.0M  
 libcoq-elpi-ocaml_1...> 2022-02-10 18:34  4.8M  
 libcoq-elpi-ocaml-de..> 2022-02-10 18:34  1.6M  
 coq-elpi_2.5.0-1.1ub..> 2025-10-24 15:23  2.0K  
 coq-elpi_2.5.0-1.1bu..> 2025-08-31 15:42  2.0K  
 coq-elpi_2.4.0-1buil..> 2025-02-18 16:25  2.0K  
 coq-elpi_1.19.3-2bui..> 2024-04-08 03:57  2.1K  
 coq-elpi_1.13.0-1.dsc   2022-02-10 18:14  2.0K