Index of /202202140520/raspbian/pool/main/e/elpi/

../
elpi_1.13.8-2+b1_armhf.deb                         05-Feb-2022 14:41              935552
elpi_1.13.8-2.debian.tar.xz                        21-Jan-2022 09:30                4424
elpi_1.13.8-2.dsc                                  21-Jan-2022 09:30                2121
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
libelpi-ocaml-dev_1.13.8-2+b1_armhf.deb            05-Feb-2022 14:41             6668908
libelpi-ocaml_1.13.8-2+b1_armhf.deb                05-Feb-2022 14:41             1893536