Ubuntu
coq-elpi package

coq-elpi 1.19.3-1 source package in Ubuntu

Changelog

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

  * Fix d/rules clean target (Closes: #1044251).
  * New upstream release.
  * Drop all patches.

 -- Julien Puydt <email address hidden>  Thu, 21 Dec 2023 15:23:48 +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.19.3-1.dsc 2.0 KiB d2b6dd2f43c215e1db9e80e6602a494ee0b8f2ffdc8bd910dfb1bbcbe105731b
coq-elpi_1.19.3.orig.tar.gz 558.3 KiB befad7c58a5b2b60ac805646172016bb9dc9764c92c7dcc2056c3d15a3d8b1b4
coq-elpi_1.19.3-1.debian.tar.xz 3.0 KiB 9773680b529e9ba705f1dc8c9141e5d97b02edf8dc8d0ce44265aaea57375989

No changes file available.

Binary packages built by this source

libcoq-elpi: Coq plugin embedding Elpi

 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.

libcoq-elpi-dbgsym: debug symbols for libcoq-elpi