Index of /linux/ubuntu/22.04-mirror/pool/universe/c/coq-elpi

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb    2022-02-10 16:34  1.6M  
[   ] libcoq-elpi-ocaml_1.13.0-1_amd64.deb        2022-02-10 16:34  4.8M