Merge pull request #27484 from shonfeder/unisim_archisec-ocaml-dep

Add missing ocaml dependency to unisim_archisec
ocaml · Feb 26, 2025 · 3a1a2e9 · 3a1a2e9
2 parents 983ff3d + 37fd190
commit 3a1a2e9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/packages/unisim_archisec/unisim_archisec.0.0.10/opam b/packages/unisim_archisec/unisim_archisec.0.0.10/opam
@@ -12,6 +12,7 @@ license: "BSD-3-Clause"
 homepage: "https://binsec.github.io"
 bug-reports: "mailto:[email protected]"
 depends: [
+  "ocaml" {>= "4.08"}
   "dune" {>= "3.0"}
   "conf-gcc" {build}
   "conf-g++" {build}