There are currently no open bugs.

"coq-elpi" versions published in Ubuntu

Lunar-proposed (1.16.0-1build1): universe/misc
Lunar (1.14.0-5build1): universe/misc
Kinetic (1.14.0-5build1): universe/misc
Jammy (1.13.0-1): universe/misc