Version of frama-c-base: 20220511-manganese-5+b13
Architecture of frama-c-base: amd64
Version of netrek-client-cow: 3.3.3-1
Architecture of netrek-client-cow: amd64
| frama-c-base | netrek-client-cow | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 75 B | ./usr/share/frama-c/theme/colorblind/fold.png./usr/share/frama-c/theme/colorblind/unfold.png | png_sha512 | ./usr/share/pixmaps/netrek-client-cow/Planets/Map/Ind.png |