Commit f8a75c2d authored by Julien Girard-Satabin's avatar Julien Girard-Satabin
Browse files

upgrading ocaml

parent 402ccde6
......@@ -12,7 +12,7 @@ license: "LGPL-2.0-only WITH OCaml-LGPL-linking-exception"
homepage: "https://git.frama-c.com/pub/isaieh"
bug-reports: "julien.girard2@cea.fr"
depends: [
"ocaml" {>= "4.11.0"}
"ocaml" {>= "4.12"}
"dune" {>= "2.9" & >= "2.9.0"}
"ocplib-endian" {>= "1.0"}
"piqilib" {>= "0.6.14"}
......
......@@ -10,7 +10,7 @@
(package
(name ISAIEH)
(depends
(ocaml (>= 4.11.0))
(ocaml (>= 4.12))
(dune (>= 2.9.0))
(ocplib-endian (>= 1.0))
(piqilib (>= 0.6.14))
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment