Ubuntu
coq-elpi package

coq-elpi 2.1.0-1build4 source package in Ubuntu

Changelog

coq-elpi (2.1.0-1build4) oracular; urgency=medium

  * Rebuild against latest coq

 -- Jeremy Bícha <email address hidden>  Sun, 04 Aug 2024 11:14:58 -0400

Upload details

Uploaded by:
Jeremy Bícha
Uploaded to:
Oracular
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe misc

Downloads

File Size SHA-256 Checksum
coq-elpi_2.1.0.orig.tar.gz 699.0 KiB 2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8
coq-elpi_2.1.0-1build4.debian.tar.xz 3.7 KiB 7ac796e1b1a8bdadb594a40f85c63e1b53ecd98adefa6c6b7f5cf0bb49994180
coq-elpi_2.1.0-1build4.dsc 2.0 KiB 8b15c2c497e0a8f5bbdb76be768b1d9619b8e8ce03a3729ec67807290427c427

Available diffs

View changes file

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