There are currently no open bugs.

"coq-record-update" versions published in Ubuntu

Noble (0.3.3-1build4): universe/misc
Mantic (0.3.2-1build1): universe/misc