Skip to content
Snippets Groups Projects
reference-configuration.md 427 B
Newer Older
The following set of packages is known to be a working configuration for
compiling Frama-C 29.0.
- OCaml 4.14.2
Allan Blanchard's avatar
Allan Blanchard committed
- alt-ergo.2.5.3 (for wp, optional)
- dune.3.13.1
- dune-configurator.3.13.1
- dune-site.3.13.1
- lablgtk3.3.1.3
- lablgtk3-sourceview3.3.1.3
- menhir.20211230
- ocamlfind.1.9.6
- ppx_deriving_yaml.0.2.1
- ppx_deriving_yojson.3.7.0
- unionFind.20220122
Allan Blanchard's avatar
Allan Blanchard committed
- why3.1.7.1