Publishing details

• Published on 2022-03-02
• Copied from Primary Archive for Ubuntu by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)
• Originally uploaded to debian sid in Primary Archive for Debian GNU/Linux

Changelog

coq-elpi (1.13.0-1) unstable; urgency=medium

  * New upstream release.

 -- Julien Puydt <email address hidden>  Thu, 10 Feb 2022 13:30:32 +0100

Builds

• amd64
• arm64
• armhf
• ppc64el
• riscv64
• s390x

Built packages

• libcoq-elpi-ocaml Coq plugin embedding Elpi (runtime)

• libcoq-elpi-ocaml-dbgsym debug symbols for libcoq-elpi-ocaml

• libcoq-elpi-ocaml-dev Coq plugin embedding Elpi (devel)

Package files

• coq-elpi_1.13.0-1.debian.tar.xz (2.5 KiB)
• coq-elpi_1.13.0-1.dsc (2.0 KiB)
• coq-elpi_1.13.0.orig.tar.gz (351.6 KiB)
• libcoq-elpi-ocaml-dbgsym_1.13.0-1_amd64.ddeb (258.9 KiB)
• libcoq-elpi-ocaml-dbgsym_1.13.0-1_arm64.ddeb (237.5 KiB)
• libcoq-elpi-ocaml-dbgsym_1.13.0-1_armhf.ddeb (224.1 KiB)
• libcoq-elpi-ocaml-dbgsym_1.13.0-1_ppc64el.ddeb (203.6 KiB)
• libcoq-elpi-ocaml-dbgsym_1.13.0-1_riscv64.ddeb (230.0 KiB)
• libcoq-elpi-ocaml-dev_1.13.0-1_amd64.deb (1.6 MiB)
• libcoq-elpi-ocaml-dev_1.13.0-1_arm64.deb (1.7 MiB)
• libcoq-elpi-ocaml-dev_1.13.0-1_armhf.deb (1.7 MiB)
• libcoq-elpi-ocaml-dev_1.13.0-1_ppc64el.deb (1.7 MiB)
• libcoq-elpi-ocaml-dev_1.13.0-1_riscv64.deb (1.9 MiB)
• libcoq-elpi-ocaml_1.13.0-1_amd64.deb (4.8 MiB)
• libcoq-elpi-ocaml_1.13.0-1_arm64.deb (5.0 MiB)
• libcoq-elpi-ocaml_1.13.0-1_armhf.deb (4.8 MiB)
• libcoq-elpi-ocaml_1.13.0-1_ppc64el.deb (4.8 MiB)
• libcoq-elpi-ocaml_1.13.0-1_riscv64.deb (4.8 MiB)