search

Frama-C / headache

Lightweight tool for managing headers in source code files. It can update in any source code files (OCaml, C, XML et al).
Other
24 stars 7 forks source link

Simplify the opam file #3

Closed kit-ty-kate closed 1 year ago

kit-ty-kate commented 1 year ago

See https://github.com/ocaml/opam-repository/pull/22629