diff --git a/packages/javalib.2.2.2/opam b/packages/javalib.2.2.2/opam index 33fa93c8c2de..af1e2ae0e2cc 100644 --- a/packages/javalib.2.2.2/opam +++ b/packages/javalib.2.2.2/opam @@ -11,4 +11,4 @@ remove: [ ["ocamlfind" "remove" "javalib"] ["ocamlfind" "remove" "ptrees"] ] -depends: [ "camlzip" "extlib" ] \ No newline at end of file +depends: [ "ocamlfind" "camlzip" "extlib" ] \ No newline at end of file diff --git a/packages/sawja.1.4/descr b/packages/sawja.1.4/descr index 8a52e3606f3f..85d5126988a9 100644 --- a/packages/sawja.1.4/descr +++ b/packages/sawja.1.4/descr @@ -1,4 +1,4 @@ -Provide a high level representation of Java bytecode programs +Provide a high level representation of Java bytecode programs and static analysis tools. Sawja is a library written in OCaml, relying on Javalib to provide a high level representation of Java bytecode programs. Its name stands for Static Analysis Workshop for JAva. Whereas Javalib is dedicated to isolated classes, Sawja handles bytecode programs with their class hierarchy and control flow algorithms. Moreover, Sawja provides some stackless intermediate representations of code, called JBir and A3Bir. The transformation algorithm, common to these representations, has been formalized and proved to be semantics-preserving. \ No newline at end of file diff --git a/packages/sawja.1.4/opam b/packages/sawja.1.4/opam index 27b1efb34b98..8f2b738ceae4 100644 --- a/packages/sawja.1.4/opam +++ b/packages/sawja.1.4/opam @@ -8,7 +8,4 @@ build: [ remove: [ ["ocamlfind" "remove" "sawja"] ] -depends: [ - "ocamlfind" - "javalib" -] +depends: [ "ocamlfind" "javalib" {= "2.2.2"} ]