libcoq-serapi-ocaml-dev 8.19.0+0.19.3-3 (ppc64el binary) in ubuntu oracular

 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.