Skip to content
Snippets Groups Projects
Commit 483e620d authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[opam] backport missing dependency

as mentioned by kit-ty-kate on github, if we are to launch autoonf, we should depend on conf-autoconf
parent 8cde697e
No related branches found
No related tags found
No related merge requests found
......@@ -38,6 +38,7 @@ depends: [
"ocaml" { >= "4.08.1" }
"frama-c" { >= "25.0" & < "26.0" }
"why3" { >= "1.5.0" }
"conf-autoconf" {dev}
]
depopts: [ "conf-swi-prolog" ]
......
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