Issue details for binary frama-c-base/20220511-manganese-5+b12

gtk-update-icon-cache:amd64

Required by: adwaita-icon-theme
Version: 47.0-2
Type: Binary Package