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

../
coq-elpi_1.15.6-4.debian.tar.xz                    13-Nov-2022 20:55                3328
coq-elpi_1.15.6-4.dsc                              13-Nov-2022 20:55                2025
coq-elpi_1.15.6.orig.tar.gz                        11-Sep-2022 16:11              404950
libcoq-elpi_1.15.6-4_armhf.deb                     19-Nov-2022 08:54             2277616