coqide package should require adwaita-icon-theme-full

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

Bug Description

I've recently discovered ( 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