Version of jcadencii: 3.3.9+svn20110818.r1732-7
Architecture of jcadencii: all
Version of frama-c-base: 20220511-manganese-5+b13
Architecture of frama-c-base: amd64
| jcadencii | frama-c-base | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 101 B | ./usr/share/jcadencii/resources/notenull.png | png_sha512 | ./usr/share/frama-c/theme/colorblind/fold.png |
| png_sha512 | ./usr/share/frama-c/theme/colorblind/unfold.png | ||