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

in pureos/landing arm64

Missing dependencies

  • gtk-update-icon-cache:arm64

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