Version of berusky2-data: 0.12-2
Architecture of berusky2-data: all
Version of frama-c-base: 20220511-manganese-5+b13
Architecture of frama-c-base: amd64
| berusky2-data | frama-c-base | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 260 B | ./usr/share/games/berusky2/textures/general/tycka.png | png_sha512 | ./usr/share/frama-c/theme/colorblind/inconsistent.png |