coq-serapi 8.19.0+0.19.3-2 (riscv64 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 utilities to work with the serapi
 plugin.