-
Andre Maroneze authoredAndre Maroneze authored
reference-configuration.md 444 B
The following set of packages is known to be a working configuration for compiling Frama-C 28.0.
- OCaml 4.13.1
- alt-ergo.2.4.2 (for wp, optional)
- dune.3.7.1
- dune-configurator.3.7.1
- dune-site.3.7.1
- lablgtk3.3.1.3
- lablgtk3-sourceview3.3.1.3
- menhir.20211128
- ocamlfind.1.9.6
- ocamlgraph.2.1.0
- ppx_deriving_yaml.0.2.1
- ppx_deriving_yojson.3.7.0
- ppx_import.1.10.0
- unionFind.20220122
- why3.1.6.0
- yojson.2.0.2
- zarith.1.12