coqide package should require adwaita-icon-theme-full

Bug #1928521 reported by Jason Gross
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
coq (Ubuntu)
Undecided
Unassigned

Bug Description

I've recently discovered (https://github.com/coq/coq/issues/14324) that coqide requires adwaita-icon-theme-full to display icons correctly. It seems to me this dependency is not recorded in the ubuntu package.

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers