Ubuntu
coq-elpi package

coq-elpi 1.14.0-1 source package in Ubuntu

Changelog

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

  * Tighten the deps between the binary packages.
  * Bump standards-version to 4.6.1.
  * New upstream release.
  * Adapt the workaround for re-exported symbols in d/rules.

 -- Julien Puydt <email address hidden>  Sat, 14 May 2022 15:37:01 +0200

Upload details

Uploaded by:
Debian OCaml Maintainers
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section

Downloads

File Size SHA-256 Checksum
coq-elpi_1.14.0-1.dsc 2.1 KiB cefc579d9789677077745945d7311b045ae61e8d2e7f012559c2ccb40ebcddfc
coq-elpi_1.14.0.orig.tar.gz 352.0 KiB ec85b559f7ba663cd02448dc736b2802bac820ee9a2a1e8a8ddcfef88e1bb700
coq-elpi_1.14.0-1.debian.tar.xz 3.1 KiB 33c930669b44be90aca99f1dc940f1fda8c91f4a40e09872fce1432577e7fdea

No changes file available.

Binary packages built by this source

libcoq-elpi: No summary available for libcoq-elpi in ubuntu kinetic.

No description available for libcoq-elpi in ubuntu kinetic.

libcoq-elpi-ocaml: No summary available for libcoq-elpi-ocaml in ubuntu kinetic.

No description available for libcoq-elpi-ocaml in ubuntu kinetic.

libcoq-elpi-ocaml-dbgsym: No summary available for libcoq-elpi-ocaml-dbgsym in ubuntu kinetic.

No description available for libcoq-elpi-ocaml-dbgsym in ubuntu kinetic.

libcoq-elpi-ocaml-dev: No summary available for libcoq-elpi-ocaml-dev in ubuntu kinetic.

No description available for libcoq-elpi-ocaml-dev in ubuntu kinetic.