Index of /trisquel/packages/pool/main/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-1_arm64.deb                            09-Feb-2022 06:00      1M
elpi_1.14.1-1_armhf.deb                            09-Feb-2022 06:00      1M
elpi_1.14.1-1_ppc64el.deb                          09-Feb-2022 05:39      1M
elpi_1.14.1.orig.tar.gz                            09-Feb-2022 05:35      1M
libelpi-ocaml-dev_1.14.1-1_amd64.deb               09-Feb-2022 05:37      8M
libelpi-ocaml-dev_1.14.1-1_arm64.deb               09-Feb-2022 06:00      9M
libelpi-ocaml-dev_1.14.1-1_armhf.deb               09-Feb-2022 06:00      8M
libelpi-ocaml-dev_1.14.1-1_ppc64el.deb             09-Feb-2022 05:39      8M
libelpi-ocaml_1.14.1-1_amd64.deb                   09-Feb-2022 05:37      2M
libelpi-ocaml_1.14.1-1_arm64.deb                   09-Feb-2022 06:00      2M
libelpi-ocaml_1.14.1-1_armhf.deb                   09-Feb-2022 06:00      2M
libelpi-ocaml_1.14.1-1_ppc64el.deb                 09-Feb-2022 05:39      2M