* Package name    : coq-serapi
  Version         : 0.15.0
  Upstream Author : Emilio Jesús Gallego Arias et al
* URL             : https://github.com/ejgallego/coq-serapi
* License         : LGPL-2.1
  Programming Lang: OCaml
  Description     : Coq plugin for data serialization
 This package provides automatic serialization of Coq's
 internal data structures from/to JSON or S-Expressions,
 to allow for machine-to-machine interaction with Coq.
 .
 Coq is a proof assistant for higher-order logic.

I plan to maintain it within the Debian OCaml Maintainers team, along with the
rest of the Coq-related packages.

Cheers,

J.Puydt

Hi,

I'm still working on the package ; I'm mostly stuck because there are
incoherent licensing issues:
https://github.com/ejgallego/coq-serapi/issues/266

Cheers,

J.Puydt

Hi,

this bug should have been closed since coq-serapi is in Debian since a
good year -- it's even in Trixie.

Cheers,

J.Puydt