Index of /ubuntu/pool/universe/c/coq-elpi/

Index of /ubuntu/pool/universe/c/coq-elpi/


../
coq-elpi_1.13.0-1.debian.tar.xz                    10-Feb-2022 23:14                2584
coq-elpi_1.13.0-1.dsc                              10-Feb-2022 23:14                2088
coq-elpi_1.13.0.orig.tar.gz                        10-Feb-2022 23:14              360052
coq-elpi_1.19.3-2build4.debian.tar.xz              08-Apr-2024 07:57                3852
coq-elpi_1.19.3-2build4.dsc                        08-Apr-2024 07:57                2108
coq-elpi_1.19.3.orig.tar.gz                        22-Dec-2023 17:26              571678
coq-elpi_2.4.0-1build1.debian.tar.xz               18-Feb-2025 21:25                3848
coq-elpi_2.4.0-1build1.dsc                         18-Feb-2025 21:25                2066
coq-elpi_2.4.0.orig.tar.gz                         18-Feb-2025 01:39              734755
coq-elpi_2.5.0-1.1build1.debian.tar.xz             31-Aug-2025 19:42                3936
coq-elpi_2.5.0-1.1build1.dsc                       31-Aug-2025 19:42                2074
coq-elpi_2.5.0-1.2.debian.tar.xz                   05-Nov-2025 08:46                3920
coq-elpi_2.5.0-1.2.dsc                             05-Nov-2025 08:46                2050
coq-elpi_2.5.0.orig.tar.gz                         01-May-2025 16:23              745968
libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb           10-Feb-2022 23:34             1711524
libcoq-elpi-ocaml_1.13.0-1_amd64.deb               10-Feb-2022 23:34             4985994
libcoq-elpi_1.19.3-2build4_amd64.deb               08-Apr-2024 07:57             3178910
libcoq-elpi_2.4.0-1build1_amd64.deb                18-Feb-2025 21:25            13536766
libcoq-elpi_2.5.0-1.1build1_amd64.deb              01-Sep-2025 03:34            13054558
libcoq-elpi_2.5.0-1.2_amd64.deb                    05-Nov-2025 11:50            13061744
libcoq-elpi_2.5.0-1.2_amd64v3.deb                  05-Nov-2025 11:51            13061852

DISCLAIMER

This is a mirror server that provides copies of open source software distributions for public convenience. We are not the original creators or maintainers of the mirrored content. All files are provided "as is" without any warranties or guarantees. We are not responsible for the content, quality, or functionality of the mirrored files. Use at your own risk.