Skip to content
Snippets Groups Projects
Commit ddf2f9e8 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[opam] no more direct use of ocamlfind

parent 84d76205
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 0 additions and 1 deletion
opam
+ 0
− 1
View file @ ddf2f9e8
...@@ -120,7 +120,6 @@ depends: [ ...@@ -120,7 +120,6 @@ depends: [
"conf-time" { with-test } "conf-time" { with-test }
"menhir" { >= "20181006" & build } "menhir" { >= "20181006" & build }
"ocaml" { >= "4.11.1" } "ocaml" { >= "4.11.1" }
"ocamlfind" # needed beyond build stage, used by -load-module
"ocamlgraph" { >= "1.8.8" } "ocamlgraph" { >= "1.8.8" }
"why3" { >= "1.6.0" } "why3" { >= "1.6.0" }
"yaml" { >= "3.0.0" } "yaml" { >= "3.0.0" }
......
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