Commit 246c388f authored by Frédéric Recoules's avatar Frédéric Recoules
Browse files

Small fixes

parent ff550b05
...@@ -19,4 +19,4 @@ Then, have a look at [user documentation](doc) for command examples. ...@@ -19,4 +19,4 @@ Then, have a look at [user documentation](doc) for command examples.
# Contributing # Contributing
Found a bug or want to make a suggestion, Found a bug or want to make a suggestion,
check [how to contribute](./CONTRIBUTING.md) improving **BINSEC** platform. check [how to contribute](./CONTRIBUTING.md) improving **BINSEC**.
...@@ -53,7 +53,7 @@ homepage: "https://binsec.github.io" ...@@ -53,7 +53,7 @@ homepage: "https://binsec.github.io"
bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr" bug-reports: "mailto:binsec@saxifrage.saclay.cea.fr"
depends: [ depends: [
"dune" {>= "2.8"} "dune" {>= "2.8"}
"ocaml" {build & >= "4.08" & < "4.14"} "ocaml" {>= "4.08" & < "4.14"}
"menhir" {build & >= "20181113"} "menhir" {build & >= "20181113"}
"ocamlgraph" {>= "1.8.5"} "ocamlgraph" {>= "1.8.5"}
"zarith" {>= "1.4"} "zarith" {>= "1.4"}
......
...@@ -47,7 +47,7 @@ BINSEC is developed at CEA List in scientfic collaboration with Verimag and LORI ...@@ -47,7 +47,7 @@ BINSEC is developed at CEA List in scientfic collaboration with Verimag and LORI
An overview of some BINSEC features can be found in our SSPREW'17 tutorial.") An overview of some BINSEC features can be found in our SSPREW'17 tutorial.")
(depends (depends
(ocaml (and :build (>= 4.08) (< 4.14))) (ocaml (and (>= 4.08) (< 4.14)))
(menhir (and :build (>= 20181113))) (menhir (and :build (>= 20181113)))
(ocamlgraph (>= 1.8.5)) (ocamlgraph (>= 1.8.5))
(zarith (>= 1.4)) (zarith (>= 1.4))
......
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