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

../
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_1.15.6-1_armhf.deb                     17-Sep-2022 16:08             2277164