Index of /202209170502/raspbian/pool/main/c/coq-elpi/

../
coq-elpi_1.14.0-5.debian.tar.xz                    12-Jun-2022 18:23                3208
coq-elpi_1.14.0-5.dsc                              12-Jun-2022 18:23                2165
coq-elpi_1.14.0.orig.tar.gz                        14-May-2022 13:53              360407
coq-elpi_1.15.6-1.debian.tar.xz                    11-Sep-2022 16:11                3232
coq-elpi_1.15.6-1.dsc                              11-Sep-2022 16:11                2025
coq-elpi_1.15.6.orig.tar.gz                        11-Sep-2022 16:11              404950
libcoq-elpi-ocaml-dev_1.14.0-5+b1_armhf.deb        09-Aug-2022 17:11             1366344
libcoq-elpi-ocaml_1.14.0-5+b1_armhf.deb            09-Aug-2022 17:11             6428444
libcoq-elpi_1.14.0-5+b1_armhf.deb                  09-Aug-2022 17:11              454644