Version of frama-c-base: 20220511-manganese-5+b13
Architecture of frama-c-base: amd64
Version of enigma-data: 1.30+dfsg-3
Architecture of enigma-data: all
| frama-c-base | enigma-data | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 150 B | ./usr/share/frama-c/theme/colorblind/inconsistent.png | png_sha512 | ./usr/share/games/enigma/gfx16/fl_abyss.png |
| png_sha512 | ./usr/share/games/enigma/gfx16/fl_bridge_bw_open.png | ||
| png_sha512 | ./usr/share/games/enigma/gfx16/fl_bridge_gc_open.png | ||