Ubuntu
lablgtk3 package

  1. Bug #1897171
  2. Comment #1

Comment 1 for bug 1897171

Revision history for this message
Jason Gross (jgross-h) wrote :

Note that this bug makes it impossible to compile CoqIDE on jammy. Is there any eta on getting this fixed?