updated opam

BinaryAnalysisPlatform · Dec 10, 2019 · f821850 · f821850
1 parent 2149283
commit f821850
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/opam/opam b/opam/opam
@@ -7,13 +7,12 @@ license: "MIT"
 homepage: "https://github.com/BinaryAnalysisPlatform/bap-veri/"
 bug-reports: "https://github.com/BinaryAnalysisPlatform/bap-veri/issues"
 depends: [
-  "ocaml" {>= "4.04.1"}
+  "ocaml" {>= "4.07.0"}
   "bap"
   "oasis" {build}
   "ounit"
   "pcre"
-  "core" {>= "v0.9.1"}
-  "textutils"
+  "textutils_kernel"
   "uri"
 ]
 flags: light-uninstall