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

../
coq-elpi_2.5.0-1.1.debian.tar.xz                   11-Jun-2026 16:06                3900
coq-elpi_2.5.0-1.1.dsc                             11-Jun-2026 16:06                2050
coq-elpi_2.5.0.orig.tar.gz                         11-Jun-2026 16:06              745968
libcoq-elpi_2.5.0-1.1_amd64.deb                    11-Jun-2026 16:06            12299728
libcoq-elpi_2.5.0-1.1_riscv64.deb                  11-Jun-2026 16:06            12933264