Ubuntu
coq-elpi package

coq-elpi 1.11.2-2 source package in Ubuntu

Changelog

coq-elpi (1.11.2-2) unstable; urgency=medium

  * Fix -dev package not depending on the lib package. (Closes: #1002930)

 -- Julien Puydt <email address hidden>  Mon, 17 Jan 2022 08:46:21 +0100

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.11.2-2.dsc 2.0 KiB aea1d2e5c4f65fff7804cc0a79b1b6ab9e511baa87749f2953d3a86c871a6bcf
coq-elpi_1.11.2.orig.tar.gz 343.3 KiB 9a2d86ef36a6a54f0d8ea5e3a2902793a8a9d48deaf049052ea17faea750ff34
coq-elpi_1.11.2-2.debian.tar.xz 3.9 KiB 3338dc0fde8b3d8a0e2aa7bfb8e37798d5a13d44ac8dc39d6d1250fe1435a33f

Available diffs

No changes file available.

Binary packages built by this source

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

 This package makes it possible to define new commands and tactics
 for Coq in Elpi.
 .
 Elpi implements a lambda-Prolog interpreter enriched with
 constraint handling rules.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides runtime libraries for the elpi plugin.

libcoq-elpi-ocaml-dbgsym: debug symbols for libcoq-elpi-ocaml
libcoq-elpi-ocaml-dev: Coq plugin embedding Elpi (devel)

 This package makes it possible to define new commands and tactics
 for Coq in Elpi.
 .
 Elpi implements a lambda-Prolog interpreter enriched with
 constraint handling rules.
 .
 Coq is a proof assistant for higher-order logic.
 .
 This package provides libraries needed to develop
 for the elpi plugin.