Index of /main/e/elpi/


../
elpi_1.13.7-2.debian.tar.xz                        10-Nov-2021 18:02                3072
elpi_1.13.7-2.dsc                                  10-Nov-2021 18:02                2108
elpi_1.13.7.orig.tar.gz                            29-Oct-2021 19:56             1538946
elpi_1.13.8-1.debian.tar.xz                        29-Nov-2021 21:07                3620
elpi_1.13.8-1.dsc                                  29-Nov-2021 21:07                2108
elpi_1.13.8.orig.tar.gz                            29-Nov-2021 21:07             1539046
elpi_1.14.1-1.debian.tar.xz                        08-Feb-2022 21:18                4088
elpi_1.14.1-1.dsc                                  08-Feb-2022 21:18                2121
elpi_1.14.1.orig.tar.gz                            08-Feb-2022 21:18             1544090