/usr/lib/frama-c/plugins/META.frama-c-jessie is in why 2.39-2build1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 | description = "Frama-C Jessie plug-in"
version = "Phosphorus-20170501"
requires = " "
archive(byte) = "top/Jessie.cma"
archive(native) = "top/Jessie.cmxa"
plugin(native) = "top/Jessie.cmxs"
plugin(byte) = "top/Jessie.cma"
directory = ""
|