Skip to content
Snippets Groups Projects
Commit f49a0f77 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

[Dev] update reference configuration

parent 27e3b906
No related branches found
No related tags found
No related merge requests found
......@@ -3,17 +3,14 @@ compiling Frama-C+dev.
- OCaml 4.13.1
- alt-ergo-free.2.2.0 (for wp, optional)
- apron.v0.9.13 (for eva, optional)
- dune.3.5.0
- dune-configurator.3.5.0
- dune-site.3.5.0
- lablgtk3.3.1.2
- lablgtk3-sourceview3.3.1.2
- lablgtk3.3.1.3
- lablgtk3-sourceview3.3.1.3
- menhir.20211128
- mlmpfr.4.1.0+bugfix2 (for eva, optional)
- ocamlfind.1.9.5
- ocamlfind.1.9.6
- ocamlgraph.2.0.0
- ocp-indent.1.8.1 (for linting, optional)
- ppx_deriving_yaml.0.2.1
- ppx_deriving_yojson.3.7.0
- ppx_import.1.10.0
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment