Ubuntu
coq-elpi package

coq-elpi 1.17.1-1 source package in Ubuntu

Changelog

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

  * New upstream release.
  * Bump standards-version to 4.6.2.
  * Add lintian overrides for false positives.
  * Bump Coq version depend.

 -- Julien Puydt <email address hidden>  Mon, 12 Jun 2023 19:29:08 +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.17.1-1.dsc 2.0 KiB af5bdb0f1979f7da7b01cbac8ee7d07d94f9e3fea6abba32ac0887bae474b0ef
coq-elpi_1.17.1.orig.tar.gz 420.2 KiB 2909a4a5bdb0760f2ffb65d8a62d2d6cbadb9441d09e3ac532b17e5f5fefb1c6
coq-elpi_1.17.1-1.debian.tar.xz 3.5 KiB a6612c12b1f82c9e78f30a1827d1e4e2356c964b079280b0bd41f6799015ecb3

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