Index of /rockos/20240830/rockos-base/pool/main/c/coq-elpi/

../
coq-elpi_1.19.3-2.debian.tar.xz                    15-May-2024 11:26    3644
coq-elpi_1.19.3-2.dsc                              15-May-2024 11:26    1799
coq-elpi_1.19.3.orig.tar.gz                        15-May-2024 11:26    558K
coq-elpi_2.1.0-1.debian.tar.xz                     15-May-2024 10:54    3656
coq-elpi_2.1.0-1.dsc                               15-May-2024 10:54    2023
coq-elpi_2.1.0.orig.tar.gz                         15-May-2024 10:54    699K
libcoq-elpi_2.1.0-1_riscv64.deb                    13-May-2024 09:13      3M