libcoq-elpi-ocaml 1.14.0-5 (riscv64 binary) in ubuntu kinetic

 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.

Details

Package version:
1.14.0-5
Source:
coq-elpi 1.14.0-5 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships

Depends on:
  • libcoq-core-ocaml-6o2m8
  • libelpi-ocaml-cmfl6
  • libppx-deriving-ocaml-p82o3
  • libzarith-ocaml-4dps0
  • ocaml-base-4.13.1
Provides:
  • libcoq-elpi-ocaml-w13w7
Recommends: