Version of yaru-theme-gtk: 24.04.3-1
Architecture of yaru-theme-gtk: all
Version of frama-c-base: 20220511-manganese-5+b13
Architecture of frama-c-base: amd64
| yaru-theme-gtk | frama-c-base | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 133 B | ./usr/share/themes/Yaru-magenta/gtk-2.0/assets/menu-radio-hover.png./usr/share/themes/Yaru-bark/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru-sage/gtk-2.0/assets/menu-radio-hover.png./usr/share/themes/Yaru-sage/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru-prussiangreen/gtk-2.0/assets/menu-radio-hover.png./usr/share/themes/Yaru-olive/gtk-2.0/assets/menu-radio-hover.png./usr/share/themes/Yaru/gtk-2.0/assets/menu-radio-hover.png./usr/share/themes/Yaru-viridian/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru-magenta/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru-purple/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru-purple/gtk-2.0/assets/menu-radio-hover.png./usr/share/themes/Yaru-blue/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru-olive/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru-bark/gtk-2.0/assets/menu-radio-hover.png./usr/share/themes/Yaru-red/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru-prussiangreen/gtk-2.0/assets/menu-checkbox-hover.png./usr/share/themes/Yaru-red/gtk-2.0/assets/menu-radio-hover.png./usr/share/themes/Yaru-viridian/gtk-2.0/assets/menu-radio-hover.png./usr/share/themes/Yaru-blue/gtk-2.0/assets/menu-radio-hover.png | png_sha512 | ./usr/share/frama-c/theme/colorblind/fold.png |
| png_sha512 | ./usr/share/frama-c/theme/colorblind/unfold.png | ||