Index of /bianbu/pool/universe/e/elpi/

../
elpi_1.17.4-3build1.debian.tar.xz                  17-Feb-2024 00:37    4568
elpi_1.17.4-3build1.dsc                            17-Feb-2024 00:37    2308
elpi_1.17.4-3build1_riscv64.deb                    14-Apr-2025 09:07      2M
elpi_1.17.4.orig.tar.gz                            21-Dec-2023 23:52      2M
elpi_2.0.7-1.debian.tar.xz                         18-Feb-2025 01:39    5168
elpi_2.0.7-1.dsc                                   18-Feb-2025 01:39    2446
elpi_2.0.7-1_riscv64.deb                           18-Feb-2025 01:41      2M
elpi_2.0.7.orig.tar.gz                             18-Feb-2025 01:39      3M
libelpi-ocaml-dev_1.17.4-3build1_riscv64.deb       14-Apr-2025 09:07     12M
libelpi-ocaml-dev_2.0.7-1_riscv64.deb              18-Feb-2025 01:41     17M
libelpi-ocaml_1.17.4-3build1_riscv64.deb           14-Apr-2025 09:07      5M
libelpi-ocaml_2.0.7-1_riscv64.deb                  18-Feb-2025 01:41      4M