Ubuntu
coq package

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)
New
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  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.