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

../
coq-elpi_1.12.1-1.debian.tar.xz                    21-Jan-2022 15:15                4000
coq-elpi_1.12.1-1.dsc                              21-Jan-2022 15:15                2088
coq-elpi_1.12.1.orig.tar.gz                        21-Jan-2022 15:15              353244
libcoq-elpi-ocaml-dev_1.12.1-1_armhf.deb           03-Feb-2022 18:12             1207164
libcoq-elpi-ocaml_1.12.1-1_armhf.deb               03-Feb-2022 18:12             3817868