Index of /ubuntu/pool/universe/e/elpi/


../
elpi_1.14.1-1.debian.tar.xz                                                                                              09-Feb-2022 05:35    4088
elpi_1.14.1-1.dsc                                                                                                        09-Feb-2022 05:35    2121
elpi_1.14.1-1_amd64.deb                                                                                                  09-Feb-2022 05:37      1M
elpi_1.14.1.orig.tar.gz                                                                                                  09-Feb-2022 05:35      1M
elpi_1.15.2-1.debian.tar.xz                                                                                              14-May-2022 11:29    3456
elpi_1.15.2-1.dsc                                                                                                        14-May-2022 11:29    2150
elpi_1.15.2-1_amd64.deb                                                                                                  14-May-2022 11:29      1M
elpi_1.15.2.orig.tar.gz                                                                                                  14-May-2022 11:29      2M
libelpi-ocaml-dev_1.14.1-1_amd64.deb                                                                                     09-Feb-2022 05:37      8M
libelpi-ocaml-dev_1.15.2-1_amd64.deb                                                                                     14-May-2022 11:29     12M
libelpi-ocaml_1.14.1-1_amd64.deb                                                                                         09-Feb-2022 05:37      2M
libelpi-ocaml_1.15.2-1_amd64.deb                                                                                         14-May-2022 11:29      6M