frama-c-base <-> frama-c-base

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

Architecture of frama-c-base: amd64

frama-c-baseframa-c-base
sizefilenamehash functionsfilename
843.1 KB./usr/lib/frama-c/plugins/Wp.cmi./usr/lib/frama-c/plugins/gui/Wp.cmi sha512./usr/lib/frama-c/plugins/Wp.cmi
sha512./usr/lib/frama-c/plugins/gui/Wp.cmi
291.9 KB./usr/lib/frama-c/plugins/gui/Qed.cmi./usr/lib/frama-c/plugins/Qed.cmi sha512./usr/lib/frama-c/plugins/Qed.cmi
sha512./usr/lib/frama-c/plugins/gui/Qed.cmi
28.7 KB./usr/lib/frama-c/plugins/Metrics.cmi./usr/lib/frama-c/plugins/gui/Metrics.cmi sha512./usr/lib/frama-c/plugins/Metrics.cmi
sha512./usr/lib/frama-c/plugins/gui/Metrics.cmi
19.0 KB./usr/lib/frama-c/plugins/gui/Slicing.cmi./usr/lib/frama-c/plugins/Slicing.cmi sha512./usr/lib/frama-c/plugins/Slicing.cmi
sha512./usr/lib/frama-c/plugins/gui/Slicing.cmi
7.6 KB./usr/share/man/man1/frama-c-gui.1.gz./usr/share/man/man1/frama-c.1.gz gzip_sha512, sha512./usr/share/man/man1/frama-c-gui.1.gz
gzip_sha512, sha512./usr/share/man/man1/frama-c.1.gz
6.2 KB./usr/share/zsh/vendor-completions/_frama-c./usr/share/frama-c/_frama-c sha512./usr/share/frama-c/_frama-c
sha512./usr/share/zsh/vendor-completions/_frama-c
6.2 KB./usr/lib/frama-c/plugins/gui/Eva.cmi./usr/lib/frama-c/plugins/Eva.cmi sha512./usr/lib/frama-c/plugins/Eva.cmi
sha512./usr/lib/frama-c/plugins/gui/Eva.cmi
4.1 KB./usr/lib/frama-c/plugins/gui/Scope.cmi./usr/lib/frama-c/plugins/Scope.cmi sha512./usr/lib/frama-c/plugins/Scope.cmi
sha512./usr/lib/frama-c/plugins/gui/Scope.cmi
2.7 KB./usr/lib/frama-c/plugins/gui/Impact.cmi./usr/lib/frama-c/plugins/Impact.cmi sha512./usr/lib/frama-c/plugins/Impact.cmi
sha512./usr/lib/frama-c/plugins/gui/Impact.cmi
2.4 KB./usr/lib/frama-c/plugins/gui/Studia.cmi./usr/lib/frama-c/plugins/Studia.cmi sha512./usr/lib/frama-c/plugins/Studia.cmi
sha512./usr/lib/frama-c/plugins/gui/Studia.cmi
1.7 KB./usr/lib/frama-c/plugins/gui/Occurrence.cmi./usr/lib/frama-c/plugins/Occurrence.cmi sha512./usr/lib/frama-c/plugins/Occurrence.cmi
sha512./usr/lib/frama-c/plugins/gui/Occurrence.cmi
207 B./usr/lib/frama-c/plugins/Security_slicing.cmi./usr/lib/frama-c/plugins/gui/Security_slicing.cmi sha512./usr/lib/frama-c/plugins/Security_slicing.cmi
sha512./usr/lib/frama-c/plugins/gui/Security_slicing.cmi
183 B./usr/lib/frama-c/plugins/gui/From.cmi./usr/lib/frama-c/plugins/From.cmi sha512./usr/lib/frama-c/plugins/From.cmi
sha512./usr/lib/frama-c/plugins/gui/From.cmi
75 B./usr/share/frama-c/theme/colorblind/fold.png./usr/share/frama-c/theme/colorblind/unfold.png png_sha512, sha512./usr/share/frama-c/theme/colorblind/fold.png
png_sha512, sha512./usr/share/frama-c/theme/colorblind/unfold.png

Details about this service