[New package]: Requesting support for the Frama-C static analysis tool

williamboman / mason.nvim

Portable package manager for Neovim that runs everywhere Neovim runs. Easily install and manage LSP servers, DAP servers, linters, and formatters.

Apache License 2.0

7.62k stars 270 forks source link

[New package]: Requesting support for the Frama-C static analysis tool #1328

Open krishnakumarg1984 opened 1 year ago

krishnakumarg1984 commented 1 year ago

I've searched open & closed issues for similar requests

[X] Yes

Package name

frama-c

Package homepage

https://frama-c.com/

Languages

How is this package distributed?

Through OPAM.

williambotman commented 1 year ago

Hello! Pull requests are always very welcomed to add new packages. If the distribution of the package is simple, the installation will most likely be so as well. See CONTRIBUTING.md and the API reference for more details! You may also use existing packages as reference.

^{🤖 This is an automated comment. 📖 Source code}