Index of /debian/pool/main/c/coq-elpi/

../
coq-elpi_1.13.0-7.debian.tar.xz                    17-Apr-2022 11:58                3052
coq-elpi_1.13.0-7.dsc                              17-Apr-2022 11:58                2142
coq-elpi_1.13.0.orig.tar.gz                        10-Feb-2022 17:24              360052
coq-elpi_1.14.0-1.debian.tar.xz                    14-May-2022 13:53                3136
coq-elpi_1.14.0-1.dsc                              14-May-2022 13:53                2142
coq-elpi_1.14.0.orig.tar.gz                        14-May-2022 13:53              360407
libcoq-elpi-ocaml-dev_1.13.0-7_amd64.deb           17-Apr-2022 12:28             1290112
libcoq-elpi-ocaml-dev_1.13.0-7_i386.deb            17-Apr-2022 12:18             1277084
libcoq-elpi-ocaml-dev_1.14.0-1_amd64.deb           14-May-2022 16:25             1294252
libcoq-elpi-ocaml-dev_1.14.0-1_i386.deb            14-May-2022 16:20             1280984
libcoq-elpi-ocaml_1.13.0-7_amd64.deb               17-Apr-2022 12:28             3564416
libcoq-elpi-ocaml_1.13.0-7_i386.deb                17-Apr-2022 12:18             3446156
libcoq-elpi-ocaml_1.14.0-1_amd64.deb               14-May-2022 16:25             6408420
libcoq-elpi-ocaml_1.14.0-1_i386.deb                14-May-2022 16:20             6281808
libcoq-elpi_1.13.0-7_amd64.deb                     17-Apr-2022 12:28              456368
libcoq-elpi_1.13.0-7_i386.deb                      17-Apr-2022 12:18              456276
libcoq-elpi_1.14.0-1_amd64.deb                     14-May-2022 16:25              454840
libcoq-elpi_1.14.0-1_i386.deb                      14-May-2022 16:20              454528