Index of /linux/ubuntu/22.04-mirror/pool/universe/e/elpi

Icon  Name                                        Last modified      Size  Description
[PARENTDIR] Parent Directory                                                 -   
[   ] libelpi-ocaml-dev_1.14.1-1_amd64.deb        2022-02-08 22:37  8.0M  
[   ] libelpi-ocaml_1.14.1-1_amd64.deb            2022-02-08 22:37  2.3M  
[   ] elpi_1.14.1-1_amd64.deb                     2022-02-08 22:37  1.2M