Version of frama-c-base: 20220511-manganese-5+b6
Architecture of frama-c-base: amd64
Version of clanlib-doc: 1.0~svn3827-11.1
Architecture of clanlib-doc: all
frama-c-base | clanlib-doc | ||
---|---|---|---|
size | filename | hash functions | filename |
169 B | ./usr/share/frama-c/theme/colorblind/never_tried.png | png_sha512 | ./usr/share/doc/clanlib-doc/Reference/images/white-chip.png |
150 B | ./usr/share/frama-c/theme/colorblind/inconsistent.png | png_sha512 | ./usr/share/doc/clanlib-doc/Reference/images/black-chip.png |