libcoq-elpi-ocaml-dev binary package in Ubuntu Jammy amd64
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2022-03-02 17:45:17 UTC | Published | Ubuntu Jammy amd64 | release | universe | ocaml | Optional | 1.13.0-1 | ||
|
|||||||||
Deleted | Ubuntu Jammy amd64 | proposed | universe | ocaml | Optional | 1.13.0-1 | |||
|
|||||||||
2022-02-10 23:34:27 UTC | Superseded | Ubuntu Jammy amd64 | proposed | universe | ocaml | Optional | 1.12.1-2 | ||
|
|||||||||
2022-02-06 17:39:30 UTC | Superseded | Ubuntu Jammy amd64 | proposed | universe | ocaml | Optional | 1.12.1-1build1 | ||
|
|||||||||
2022-01-25 18:31:40 UTC | Superseded | Ubuntu Jammy amd64 | proposed | universe | ocaml | Optional | 1.12.1-1 | ||
|
|||||||||
2022-01-21 23:50:02 UTC | Superseded | Ubuntu Jammy amd64 | proposed | universe | ocaml | Optional | 1.12.0-1 | ||
|
|||||||||
2022-03-02 18:00:59 UTC | Superseded | Ubuntu Jammy amd64 | release | universe | ocaml | Optional | 1.11.2-2 | ||
|
|||||||||
2022-03-03 18:10:09 UTC | Deleted | Ubuntu Jammy amd64 | proposed | universe | ocaml | Optional | 1.11.2-2 | ||
|
|||||||||
2022-01-17 20:29:19 UTC | Superseded | Ubuntu Jammy amd64 | release | universe | ocaml | Optional | 1.11.2-1 | ||
|
|||||||||
2022-01-19 00:10:09 UTC | Deleted | Ubuntu Jammy amd64 | proposed | universe | ocaml | Optional | 1.11.2-1 | ||
|