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

../
elpi_1.15.2-1.debian.tar.xz                        14-May-2022 02:19                3456
elpi_1.15.2-1.dsc                                  14-May-2022 02:19                2150
elpi_1.15.2-1_armhf.deb                            10-Jul-2022 04:41             1137404
elpi_1.15.2.orig.tar.gz                            14-May-2022 02:19             1596234
elpi_1.16.5-1.debian.tar.xz                        17-Jul-2022 10:42                3524
elpi_1.16.5-1.dsc                                  17-Jul-2022 10:42                2200
elpi_1.16.5.orig.tar.gz                            17-Jul-2022 10:42             2617496
libelpi-ocaml-dev_1.15.2-1_armhf.deb               10-Jul-2022 04:41            10006704
libelpi-ocaml_1.15.2-1_armhf.deb                   10-Jul-2022 04:41             4876356