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

Name                    Last modified      Size  Description
Parent Directory                             -   
coq-elpi_1.13.0-1.de..> 2022-02-11 01:14  2.5K  
coq-elpi_1.13.0-1.dsc   2022-02-11 01:14  2.0K  
coq-elpi_1.13.0.orig..> 2022-02-11 01:14  352K  
coq-elpi_1.16.0-2bui..> 2023-02-17 01:24  3.4K  
coq-elpi_1.16.0-2bui..> 2023-02-17 01:24  2.0K  
coq-elpi_1.16.0.orig..> 2022-11-21 01:50  416K  
coq-elpi_1.17.1-1bui..> 2023-08-28 18:19  3.6K  
coq-elpi_1.17.1-1bui..> 2023-08-28 18:19  2.0K  
coq-elpi_1.17.1.orig..> 2023-06-13 08:30  420K  
coq-elpi_1.19.3-2bui..> 2024-04-08 10:57  3.8K  
coq-elpi_1.19.3-2bui..> 2024-04-08 10:57  2.1K  
coq-elpi_1.19.3.orig..> 2023-12-22 19:26  558K  
libcoq-elpi-ocaml-de..> 2022-02-11 01:34  1.6M  
libcoq-elpi-ocaml_1...> 2022-02-11 01:34  4.8M  
libcoq-elpi_1.16.0-2..> 2023-02-17 03:14  2.9M  
libcoq-elpi_1.17.1-1..> 2023-08-28 18:48  2.9M  
libcoq-elpi_1.19.3-2..> 2024-04-08 10:57  3.0M