coq-elpi 1.12.0-1 source package in Ubuntu
Changelog
coq-elpi (1.12.0-1) unstable; urgency=medium * New upstream release. -- Julien Puydt <email address hidden> Mon, 17 Jan 2022 15:44:00 +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 | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| coq-elpi_1.12.0-1.dsc | 2.0 KiB | 78fe1ebd7e7d5c7c731b8978d550bfe71f4b08aa16ff3ac06e8f702b9b7913f1 |
| coq-elpi_1.12.0.orig.tar.gz | 340.7 KiB | 796225b6a569ca47ca2a2d6a7c15d1d57de971ef669bde7dd6321ce34f61fa29 |
| coq-elpi_1.12.0-1.debian.tar.xz | 3.9 KiB | 843c1a67815b8651c1a12cea3978456423a356844f9bdb428fcd7173fd45f2cd |
Available diffs
- diff from 1.11.2-2 to 1.12.0-1 (27.3 KiB)
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.
