updates the bap-demangle package dependencies

Comes with BinaryAnalysisPlatform/bap#1504
BinaryAnalysisPlatform · Jun 8, 2022 · f895ae4 · f895ae4
1 parent 553bc41
commit f895ae4
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/packages/bap-demangle/bap-demangle.master/opam b/packages/bap-demangle/bap-demangle.master/opam
@@ -24,10 +24,11 @@ depends: [
   "ocaml" {>= "4.08.0" }
   "core_kernel" {>= "v0.14" & < "v0.16"}
   "oasis" {build & >= "0.4.7"}
-  "bap-std" {= "master"}
-  "cmdliner"
+  "bap-knowledge" {= "master"}
+  "bap-core-theory" {= "master"}
+  "bap-main" {= "master"}
 ]
-synopsis: "Library for name demangling"
+synopsis: "Provides names service and demangling facilities"
 url {
   src: "git+https://github.com/BinaryAnalysisPlatform/bap#master"
 }