frama-c-base <-> netrek-client-cow

Version of frama-c-base: 20201209+titanium-4.1

Architecture of frama-c-base: amd64

Version of netrek-client-cow: 3.3.2-1

Architecture of netrek-client-cow: amd64

frama-c-basenetrek-client-cow
sizefilenamehash functionsfilename
75 B./usr/share/frama-c/theme/colorblind/unfold.png./usr/share/frama-c/theme/colorblind/fold.png png_sha512./usr/share/pixmaps/netrek-client-cow/Planets/Map/Ind.png

Details about this service