Updating INSTALL

Stevendeo · Jul 27, 2022 · 5d0b98c · 5d0b98c
1 parent e8942d1
commit 5d0b98c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/INSTALL b/INSTALL
@@ -19,7 +19,7 @@ install OPAM.
 
    I strongly recommend you to retry installing opam. Otherwise
 
-   a) Get the latest version of Ocaml (or at least the 4.03). 
+   a) Get the latest version of Ocaml (at least the 4.08.1). 
 
    b) Download the Frama-C source on http://frama-c.com/ and unzip it.
       Then go to the main directory and run : 

diff --git a/opam b/opam
@@ -15,5 +15,5 @@ depends:
     "lacaml" {<= "11.0.8"}
     "zarith" {<= "1.12"}
     "frama-c" {>= "22.0" <= "25.0"}]
-available: ["ocaml-version" >= "4.08.0"]
+available: ["ocaml-version" >= "4.08.1"]
 bug-reports:"https://github.com/Stevendeo/Pilat/issues"