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

../
coq-elpi_1.16.0-2.debian.tar.xz                    27-Sep-2025 09:45    3412
coq-elpi_1.16.0-2.dsc                              27-Sep-2025 09:45    2030
coq-elpi_1.16.0.orig.tar.gz                        27-Sep-2025 09:45    416K
coq-elpi_2.5.0-1.1.debian.tar.xz                   26-Sep-2025 20:19    3900
coq-elpi_2.5.0-1.1.dsc                             26-Sep-2025 20:19    2050
coq-elpi_2.5.0.orig.tar.gz                         26-Sep-2025 20:19    728K
libcoq-elpi_1.16.0-2+b1_amd64.deb                  27-Sep-2025 11:36      2M
libcoq-elpi_1.16.0-2+b1_i386.deb                   27-Sep-2025 11:36      2M
libcoq-elpi_2.5.0-1.1_amd64.deb                    26-Sep-2025 23:42     12M