commit 14ae1e1422608a8ca8c3f25c76a07217d2c87a1a · anil.recoil.org/opam-repository

+1 -1

packages/z3/z3.4.6/opam

···

       16
       16
        
       ]

     

       17
       17
        
       remove: ["ocamlfind" "remove" "z3"]

     

       18
       18
        
       depends: [

     

       19
       19
       -
         "ocaml"

     

       19
       19
       +
         "ocaml" {< "5.0"}

     

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "num"

     

       22
       22
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.7.1/opam

···

       16
       16
        
       ]

     

       17
       17
        
       remove: ["ocamlfind" "remove" "z3"]

     

       18
       18
        
       depends: [

     

       19
       19
       -
         "ocaml"

     

       19
       19
       +
         "ocaml" {< "5.0"}

     

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "num"

     

       22
       22
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.1/opam

···

       16
       16
        
       ]

     

       17
       17
        
       remove: ["ocamlfind" "remove" "z3"]

     

       18
       18
        
       depends: [

     

       19
       19
       -
         "ocaml"

     

       19
       19
       +
         "ocaml" {< "5.0"}

     

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "num"

     

       22
       22
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.11/opam

···

       16
       16
        
       ]

     

       17
       17
        
       

     

       18
       18
        
       depends: [

     

       19
       19
       -
         "ocaml"

     

       19
       19
       +
         "ocaml" {< "5.0"}

     

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "zarith"

     

       22
       22
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.4/opam

···

       19
       19
        
       ]

     

       20
       20
        
       remove: ["ocamlfind" "remove" "z3"]

     

       21
       21
        
       depends: [

     

       22
       22
       -
         "ocaml"

     

       22
       22
       +
         "ocaml" {< "5.0"}

     

       23
       23
        
         "ocamlfind" {build}

     

       24
       24
        
         "num"

     

       25
       25
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.5/opam

···

       16
       16
        
       ]

     

       17
       17
        
       

     

       18
       18
        
       depends: [

     

       19
       19
       -
         "ocaml"

     

       19
       19
       +
         "ocaml" {< "5.0"}

     

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "num"

     

       22
       22
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.6/opam

···

       13
       13
        
         [ "sh" "-c" "ocamlfind install z3 build/api/ml/META -nodll build/libz3* build/api/ml/*" ]

     

       14
       14
        
       ]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml"

     

       16
       16
       +
         "ocaml" {< "5.0"}

     

       17
       17
        
         "ocamlfind" {build}

     

       18
       18
        
         "num"

     

       19
       19
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.7/opam

···

       13
       13
        
         [ "sh" "-c" "ocamlfind install z3 build/api/ml/META -nodll build/libz3* build/api/ml/*" ]

     

       14
       14
        
       ]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml"

     

       16
       16
       +
         "ocaml" {< "5.0"}

     

       17
       17
        
         "ocamlfind" {build}

     

       18
       18
        
         "zarith"

     

       19
       19
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.8-1/opam

···

       16
       16
        
       ]

     

       17
       17
        
       

     

       18
       18
        
       depends: [

     

       19
       19
       -
         "ocaml"

     

       19
       19
       +
         "ocaml" {< "5.0"}

     

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "zarith"

     

       22
       22
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.8/opam

···

       13
       13
        
         [ "sh" "-c" "ocamlfind install z3 build/api/ml/META -nodll build/libz3* build/api/ml/*" ]

     

       14
       14
        
       ]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml"

     

       16
       16
       +
         "ocaml" {< "5.0"}

     

       17
       17
        
         "ocamlfind" {build}

     

       18
       18
        
         "zarith"

     

       19
       19
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.9-1/opam

···

       16
       16
        
       ]

     

       17
       17
        
       

     

       18
       18
        
       depends: [

     

       19
       19
       -
         "ocaml"

     

       19
       19
       +
         "ocaml" {< "5.0"}

     

       20
       20
        
         "ocamlfind" {build}

     

       21
       21
        
         "zarith"

     

       22
       22
        
         "conf-gmp"

+1 -1

packages/z3/z3.4.8.9/opam

···

       13
       13
        
         [ "sh" "-c" "ocamlfind install z3 build/api/ml/META -nodll build/libz3* build/api/ml/*" ]

     

       14
       14
        
       ]

     

       15
       15
        
       depends: [

     

       16
       16
       -
         "ocaml"

     

       16
       16
       +
         "ocaml" {< "5.0"}

     

       17
       17
        
         "ocamlfind" {build}

     

       18
       18
        
         "zarith"

     

       19
       19
        
         "conf-gmp"