Package: libcoq-serapi-ocaml-dev (8.20.0+0.20.0-1 and others)

[ Source: coq-serapi  ]

interaction with Coq (devel)

SerAPI provides a library for machine-to-machine interaction with Coq with particular emphasis on integrated development environments, code analysis tools and machine learning.

Coq is a proof assistant for higher-order logic.

This package provides libraries needed to develop for the serapi plugin.

Other Packages Related to libcoq-serapi-ocaml-dev

• dep: coq-8.19.1+4.14.1 [loong64, ppc64]

  virtual package provided by coq

• dep: coq-8.20.1+5.3.0 [not loong64, ppc64]

  virtual package provided by coq

• dep: libcoq-ocaml

  runtime libraries for Coq

• dep: libcoq-serapi-ocaml (= 8.19.0+0.19.3-4) [loong64, ppc64]

  interaction with Coq (runtime)

  dep: libcoq-serapi-ocaml (= 8.20.0+0.20.0-1+b4) [not loong64, ppc64]

Download libcoq-serapi-ocaml-dev

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
amd64	8.20.0+0.20.0-1+b4	16,989.7 kB	36,423.0 kB	[list of files]
arm64	8.20.0+0.20.0-1+b4	17,166.7 kB	38,282.0 kB	[list of files]
loong64 (unofficial port)	8.19.0+0.19.3-4	14,168.3 kB	90,055.0 kB	[list of files]
ppc64 (unofficial port)	8.19.0+0.19.3-4	13,194.7 kB	76,280.0 kB	[list of files]
ppc64el	8.20.0+0.20.0-1+b4	17,352.6 kB	41,403.0 kB	[list of files]
riscv64	8.20.0+0.20.0-1+b4	18,884.9 kB	65,873.0 kB	[list of files]