There are currently no open bugs.

"coq-serapi" versions published in Ubuntu

Oracular (8.19.0+0.19.3-3): universe/misc