../ coq-elpi_2.5.0-1.1.debian.tar.xz 21-Jun-2025 16:44 3900 coq-elpi_2.5.0-1.1.dsc 21-Jun-2025 16:44 2050 coq-elpi_2.5.0.orig.tar.gz 22-May-2025 22:01 728K libcoq-elpi-dbgsym_2.5.0-1.1_amd64.deb 21-Jun-2025 16:51 754K libcoq-elpi-dbgsym_2.5.0-1.1_riscv64.deb 21-Jun-2025 16:56 709K libcoq-elpi_2.5.0-1.1_amd64.deb 21-Jun-2025 16:35 12M libcoq-elpi_2.5.0-1.1_riscv64.deb 21-Jun-2025 16:42 12M