There are currently no open bugs.

"coq-elpi" versions published in Ubuntu

Noble (1.19.3-2build1): universe/misc
Mantic (1.17.1-1build8): universe/misc
Jammy (1.13.0-1): universe/misc