Merge pull request #24019 from emillon/autoconf-why3

why3.1.2.1 requires autoconf
ocaml · Jun 28, 2023 · 979ccae · 979ccae
2 parents 814475d + 756477b
commit 979ccae
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packages/why3/why3.1.2.1/opam b/packages/why3/why3.1.2.1/opam
@@ -44,6 +44,7 @@ depends: [
   "ocamlfind" {build}
   "menhir" {>= "20151112" & < "20200123"}
   "num"
+  "conf-autoconf"
 ]
 
 depopts: [