commit f7d32d3c2ac9be8347d33ac95df6c8ceeb7b9661 · anil.recoil.org/opam-repository

+1 -1

packages/coq-serapi/coq-serapi.8.10.0+0.7.0/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"             }

     

       30
       30
        
         "sexplib"             {           >= "v0.11.0" & < "v0.15" }

     

       31
       31
        
         "dune"                {           >= "1.2.0"             }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"             }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"             }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.11.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"             }

+1 -1

packages/coq-serapi/coq-serapi.8.10.0+0.7.1/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"             }

     

       30
       30
        
         "sexplib"             {           >= "v0.11.0"           }

     

       31
       31
        
         "dune"                {           >= "1.4.0"             }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"             }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"             }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.11.0"           }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"             }

+1 -1

packages/coq-serapi/coq-serapi.8.10.0+0.7.2/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"             }

     

       30
       30
        
         "sexplib"             {           >= "v0.11.0"           }

     

       31
       31
        
         "dune"                {           >= "1.4.0"             }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"             }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"             }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.11.0"           }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"             }

+1 -1

packages/coq-serapi/coq-serapi.8.11.0+0.11.0/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.11.0"             }

     

       31
       31
        
         "dune"                {           >= "1.2.0"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.11.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.11.0+0.11.1/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.14" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.12.0+0.12.0/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.14" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.12.0+0.12.1/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.13.0+0.13.0/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.13.0+0.13.1/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.14.0+0.14.0/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.15.0+0.15.0/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.15.0+0.15.1/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" & < "v0.15" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.15.0+0.15.2/opam

···

       29
       29
        
         "ocamlfind"           {           >= "1.8.0"               }

     

       30
       30
        
         "sexplib"             {           >= "v0.13.0"             }

     

       31
       31
        
         "dune"                {           >= "2.0.1"               }

     

       32
       32
       -
         "ppx_import"          { build   & >= "1.5-3"               }

     

       32
       32
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       33
       33
        
         "ppx_deriving"        {           >= "4.2.1"               }

     

       34
       34
        
         "ppx_sexp_conv"       {           >= "v0.13.0" }

     

       35
       35
        
         "yojson"              {           >= "1.7.0"               }

+1 -1

packages/coq-serapi/coq-serapi.8.7.1+0.4.1/opam

···

       12
       12
        
         "camlp5"

     

       13
       13
        
         "ocamlfind" {build}

     

       14
       14
        
         "ocamlbuild" {build}

     

       15
       15
       -
         "ppx_import" {>= "1.4"}

     

       15
       15
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       16
       16
        
         "ppx_deriving" {>= "4.2.1"}

     

       17
       17
        
         "cmdliner" {>= "0.9.6" & < "1.1.0" }

     

       18
       18
        
         "sexplib"

+1 -1

packages/coq-serapi/coq-serapi.8.7.1+0.4.12/opam

···

       14
       14
        
         "sexplib"

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     

       17
       17
       -
         "ppx_import" {>= "1.4"}

     

       17
       17
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       18
       18
        
         "ppx_deriving" {>= "4.2.1"}

     

       19
       19
        
         "ppx_driver" {build & >= "v0.10.1"}

     

       20
       20
        
         "ppx_sexp_conv" {< "v0.11.0"}

+1 -1

packages/coq-serapi/coq-serapi.8.7.1+0.4.2/opam

···

       14
       14
        
         "sexplib"

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     

       17
       17
       -
         "ppx_import" {>= "1.4"}

     

       17
       17
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       18
       18
        
         "ppx_deriving" {>= "4.2.1"}

     

       19
       19
        
         "ppx_driver" {build & >= "v0.10.1"}

     

       20
       20
        
         "ppx_sexp_conv" {< "v0.11.0"}

+1 -1

packages/coq-serapi/coq-serapi.8.7.1+0.4.8/opam

···

       14
       14
        
         "sexplib"

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     

       17
       17
       -
         "ppx_import" {>= "1.4"}

     

       17
       17
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       18
       18
        
         "ppx_deriving" {>= "4.2.1"}

     

       19
       19
        
         "ppx_driver" {build & >= "v0.10.1"}

     

       20
       20
        
         "ppx_sexp_conv" {< "v0.11.0"}

+1 -1

packages/coq-serapi/coq-serapi.8.7.1+0.4/opam

···

       12
       12
        
         "camlp5"

     

       13
       13
        
         "ocamlfind" {build}

     

       14
       14
        
         "ocamlbuild" {build}

     

       15
       15
       -
         "ppx_import" {>= "1.4"}

     

       15
       15
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       16
       16
        
         "ppx_deriving" {>= "4.2.1"}

     

       17
       17
        
         "cmdliner" {>= "0.9.6" & < "1.1.0"}

     

       18
       18
        
         "sexplib"

+1 -1

packages/coq-serapi/coq-serapi.8.7.2+0.4.13/opam

···

       14
       14
        
         "sexplib" {< "v0.13"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     

       17
       17
       -
         "ppx_import" {>= "1.4"}

     

       17
       17
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       18
       18
        
         "ppx_deriving" {>= "4.2.1"}

     

       19
       19
        
         "ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}

     

       20
       20
        
       ]

+1 -1

packages/coq-serapi/coq-serapi.8.8.0+0.5.1/opam

···

       14
       14
        
         "sexplib" {< "v0.13"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     

       17
       17
       -
         "ppx_import" {>= "1.4"}

     

       17
       17
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       18
       18
        
         "ppx_deriving" {>= "4.2.1"}

     

       19
       19
        
         "ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}

     

       20
       20
        
       ]

+1 -1

packages/coq-serapi/coq-serapi.8.8.0+0.5.2/opam

···

       14
       14
        
         "sexplib" {< "v0.13"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     

       17
       17
       -
         "ppx_import" {>= "1.4"}

     

       17
       17
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       18
       18
        
         "ppx_deriving" {>= "4.2.1"}

     

       19
       19
        
         "ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}

     

       20
       20
        
       ]

+1 -1

packages/coq-serapi/coq-serapi.8.8.0+0.5.3/opam

···

       14
       14
        
         "sexplib" {< "v0.13"}

     

       15
       15
        
         "ocamlfind" {build}

     

       16
       16
        
         "ocamlbuild" {build}

     

       17
       17
       -
         "ppx_import" {>= "1.4"}

     

       17
       17
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       18
       18
        
         "ppx_deriving" {>= "4.2.1"}

     

       19
       19
        
         "ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}

     

       20
       20
        
       ]

+1 -1

packages/coq-serapi/coq-serapi.8.8.0+0.5.4/opam

···

       15
       15
        
         "sexplib" {< "v0.13"}

     

       16
       16
        
         "ocamlfind" {build}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
       -
         "ppx_import" {>= "1.4"}

     

       18
       18
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       19
       19
        
         "ppx_deriving" {>= "4.2.1"}

     

       20
       20
        
         "ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}

     

       21
       21
        
       ]

+1 -1

packages/coq-serapi/coq-serapi.8.8.0+0.5.5/opam

···

       15
       15
        
         "sexplib" {< "v0.13"}

     

       16
       16
        
         "ocamlfind" {build}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
       -
         "ppx_import" {>= "1.4"}

     

       18
       18
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       19
       19
        
         "ppx_deriving" {>= "4.2.1"}

     

       20
       20
        
         "ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}

     

       21
       21
        
       ]

+1 -1

packages/coq-serapi/coq-serapi.8.8.0+0.5.6/opam

···

       15
       15
        
         "sexplib" {< "v0.13"}

     

       16
       16
        
         "ocamlfind" {build}

     

       17
       17
        
         "ocamlbuild" {build}

     

       18
       18
       -
         "ppx_import" {>= "1.4"}

     

       18
       18
       +
         "ppx_import" {>= "1.4" & < "2.0"}

     

       19
       19
        
         "ppx_deriving" {>= "4.2.1"}

     

       20
       20
        
         "ppx_sexp_conv" {>= "v0.11.0" & < "v0.13"}

     

       21
       21
        
       ]

+1 -1

packages/coq-serapi/coq-serapi.8.9.0+0.6.0/opam

···

       16
       16
        
         "ocamlfind"     { >= "1.8.0"            }

     

       17
       17
        
         "sexplib"       { >= "v0.11.0" & < "v0.15" }

     

       18
       18
        
         "dune"          { >= "1.2.0"    }

     

       19
       19
       -
         "ppx_import"    { build & >= "1.5-3"    }

     

       19
       19
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       20
       20
        
         "ppx_deriving"  { build & >= "4.2.1"    }

     

       21
       21
        
         "ppx_sexp_conv" { build & >= "v0.11.0" & < "v0.15" }

     

       22
       22
        
       ]

+1 -1

packages/coq-serapi/coq-serapi.8.9.0+0.6.1/opam

···

       16
       16
        
         "ocamlfind"     { >= "1.8.0"            }

     

       17
       17
        
         "sexplib"       { >= "v0.11.0" & < "v0.15" }

     

       18
       18
        
         "dune"          { >= "1.2.0"    }

     

       19
       19
       -
         "ppx_import"    { build & >= "1.5-3"    }

     

       19
       19
       +
         "ppx_import" {build & >= "1.5-3" & < "2.0"}

     

       20
       20
        
         "ppx_deriving"  { build & >= "4.2.1"    }

     

       21
       21
        
         "ppx_sexp_conv" { build & >= "v0.11.0" & < "v0.15" }

     

       22
       22
        
       ]

+1 -1

packages/elpi/elpi.1.10.0/opam

···

       24
       24
        
         "cmdliner" {with-test}

     

       25
       25
        
         "dune" {>= "1.6"}

     

       26
       26
        
         "conf-time" {with-test}

     

       27
       27
       -
         "ppx_import" {with-test}

     

       27
       27
       +
         "ppx_import" {with-test & < "2.0"}

     

       28
       28
        
       ]

     

       29
       29
        
       synopsis: "ELPI - Embeddable λProlog Interpreter"

     

       30
       30
        
       description: """

+1 -1

packages/elpi/elpi.1.10.1/opam

···

       24
       24
        
         "cmdliner" {with-test}

     

       25
       25
        
         "dune" {>= "1.6"}

     

       26
       26
        
         "conf-time" {with-test}

     

       27
       27
       -
         "ppx_import" {with-test}

     

       27
       27
       +
         "ppx_import" {with-test & < "2.0"}

     

       28
       28
        
       ]

     

       29
       29
        
       synopsis: "ELPI - Embeddable λProlog Interpreter"

     

       30
       30
        
       description: """

+1 -1

packages/elpi/elpi.1.10.2/opam

···

       24
       24
        
         "cmdliner" {with-test}

     

       25
       25
        
         "dune" {>= "1.6"}

     

       26
       26
        
         "conf-time" {with-test}

     

       27
       27
       -
         "ppx_import" {with-test}

     

       27
       27
       +
         "ppx_import" {with-test & < "2.0"}

     

       28
       28
        
       ]

     

       29
       29
        
       synopsis: "ELPI - Embeddable λProlog Interpreter"

     

       30
       30
        
       description: """

+1 -1

packages/frama-c/frama-c.25.0/opam

···

       120
       120
        
         "ocamlgraph" { >= "1.8.8" }

     

       121
       121
        
         "ppx_deriving"

     

       122
       122
        
         "ppx_deriving_yojson"

     

       123
       123
       -
         "ppx_import" {>= "1.8.0"}

     

       123
       123
       +
         "ppx_import" {>= "1.8.0" & < "2.0"}

     

       124
       124
        
         "why3" { >= "1.5.0" }

     

       125
       125
        
         "yojson" {>= "1.6.0" & ( < "2.0.0" | ! with-test) }

     

       126
       126
        
         "zarith" {>= "1.5"}

+1 -1

packages/frama-c/frama-c.25.0~beta/opam

···

       122
       122
        
         "yojson" {>= "1.6.0"}

     

       123
       123
        
         "zarith" {>= "1.5"}

     

       124
       124
        
         "ppx_deriving"

     

       125
       125
       -
         "ppx_import" {>= "1.8.0"}

     

       125
       125
       +
         "ppx_import" {>= "1.8.0" & < "2.0"}

     

       126
       126
        
       ]

     

       127
       127
        
       

     

       128
       128
        
       conflicts: [

+1 -1

packages/goblint/goblint.1.0.0/opam

···

       21
       21
        
         "xml-light" {build}

     

       22
       22
        
         "ppx_distr_guards"

     

       23
       23
        
         "ppx_monadic"

     

       24
       24
       -
         "ppx_import"

     

       24
       24
       +
         "ppx_import" {< "2.0"}

     

       25
       25
        
         "ppx_deriving"

     

       26
       26
        
         "ppx_deriving_yojson"

     

       27
       27
        
         "yojson" {< "1.6.0"}

+1 -1

packages/modelica_ml/modelica_ml.0.2.0/opam

···

       20
       20
        
         "ocamlgraph"

     

       21
       21
        
         "ppx_deriving" {= "1.0"}

     

       22
       22
        
         "ppx_deriving_yojson" {= "2.0"}

     

       23
       23
       -
         "ppx_import"

     

       23
       23
       +
         "ppx_import" {< "2.0"}

     

       24
       24
        
         "ppx_monadic"

     

       25
       25
        
         "sedlex"

     

       26
       26
        
         "ocamlbuild" {build}

+1 -1

packages/pa_ppx/pa_ppx.0.01/opam

···

       43
       43
        
         "ppx_deriving_protobuf" { >= "2.7" }

     

       44
       44
        
         "uint" { >= "2.0.1" }

     

       45
       45
        
         "ounit2" { >= "2.2.3" }

     

       46
       46
       -
         "ppx_import" { >= "1.7.1" }

     

       46
       46
       +
         "ppx_import" {>= "1.7.1" & < "2.0"}

     

       47
       47
        
         "ppx_deriving_yojson" { >= "3.5.2" }

     

       48
       48
        
         "ppx_here" { >= "v0.13.0" }

     

       49
       49
        
         "ppx_sexp_conv" { >= "v0.13.0" }

+1 -1

packages/pa_ppx/pa_ppx.0.02/opam

···

       38
       38
        
         "ppx_deriving_protobuf" {>= "2.7"}

     

       39
       39
        
         "uint" {>= "2.0.1"}

     

       40
       40
        
         "ounit2" {>= "2.2.3"}

     

       41
       41
       -
         "ppx_import" {>= "1.7.1"}

     

       41
       41
       +
         "ppx_import" {>= "1.7.1" & < "2.0"}

     

       42
       42
        
         "ppx_deriving_yojson" {>= "3.5.2"}

     

       43
       43
        
         "ppx_here" {>= "v0.13.0"}

     

       44
       44
        
         "ppx_sexp_conv" {>= "v0.13.0"}

+1 -1

packages/pa_ppx/pa_ppx.0.03/opam

···

       45
       45
        
         "sexplib"

     

       46
       46
        
         "ppx_deriving_protobuf" { >= "2.7" }

     

       47
       47
        
         "uint" { >= "2.0.1" }

     

       48
       48
       -
         "ppx_import" { with-test & >= "1.7.1" }

     

       48
       48
       +
         "ppx_import" {with-test & >= "1.7.1" & < "2.0"}

     

       49
       49
        
         "ppx_deriving_yojson" { with-test & >= "3.5.2" }

     

       50
       50
        
         "ppx_here" { with-test & >= "v0.13.0" }

     

       51
       51
        
         "ppx_sexp_conv" { with-test & >= "v0.13.0" }

+1 -1

packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.0.0/opam

···

       23
       23
        
         "cppo" {build}

     

       24
       24
        
         "cppo_ocamlbuild" {build}

     

       25
       25
        
         "alcotest" {with-test}

     

       26
       26
       -
         "ppx_import" {with-test & >= "1.1"}

     

       26
       26
       +
         "ppx_import" {with-test & >= "1.1" & < "2.0"}

     

       27
       27
        
       ]

     

       28
       28
        
       synopsis: "Cmdliner.Term.t generator"

     

       29
       29
        
       description: """

+1 -1

packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.2.0/opam

···

       23
       23
        
         "cppo" {build}

     

       24
       24
        
         "cppo_ocamlbuild" {build}

     

       25
       25
        
         "alcotest" {with-test}

     

       26
       26
       -
         "ppx_import" {with-test & >= "1.1"}

     

       26
       26
       +
         "ppx_import" {with-test & >= "1.1" & < "2.0"}

     

       27
       27
        
       ]

     

       28
       28
        
       synopsis: "Cmdliner.Term.t generator"

     

       29
       29
        
       description: """

+1 -1

packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.3.1/opam

···

       23
       23
        
         "cppo" {build}

     

       24
       24
        
         "cppo_ocamlbuild" {build}

     

       25
       25
        
         "alcotest" {with-test}

     

       26
       26
       -
         "ppx_import" {with-test & >= "1.1"}

     

       26
       26
       +
         "ppx_import" {with-test & >= "1.1" & < "2.0"}

     

       27
       27
        
       ]

     

       28
       28
        
       synopsis: "Cmdliner.Term.t generator"

     

       29
       29
        
       description: """

+1 -1

packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.4.0/opam

···

       23
       23
        
         "cppo" {build}

     

       24
       24
        
         "cppo_ocamlbuild" {build}

     

       25
       25
        
         "alcotest" {with-test}

     

       26
       26
       -
         "ppx_import" {with-test & >= "1.1"}

     

       26
       26
       +
         "ppx_import" {with-test & >= "1.1" & < "2.0"}

     

       27
       27
        
       ]

     

       28
       28
        
       synopsis: "Cmdliner.Term.t generator"

     

       29
       29
        
       description: """

+1 -1

packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.4.1/opam

···

       30
       30
        
         "ppxfind"      {build}

     

       31
       31
        
         "cppo"         {build}

     

       32
       32
        
         "alcotest"     {with-test}

     

       33
       33
       -
         "ppx_import"   {with-test & >= "1.1"}

     

       33
       33
       +
         "ppx_import" {with-test & >= "1.1" & < "2.0"}

     

       34
       34
        
       ]

     

       35
       35
        
       synopsis: "Cmdliner.Term.t generator"

     

       36
       36
        
       description: """

+1 -1

packages/ppx_deriving_cmdliner/ppx_deriving_cmdliner.0.5.1/opam

···

       30
       30
        
         "ppxfind"      {build}

     

       31
       31
        
         "cppo"         {build}

     

       32
       32
        
         "alcotest"     {with-test}

     

       33
       33
       -
         "ppx_import"   {with-test & >= "1.1"}

     

       33
       33
       +
         "ppx_import" {with-test & >= "1.1" & < "2.0"}

     

       34
       34
        
       ]

     

       35
       35
        
       synopsis: "Cmdliner.Term.t generator"

     

       36
       36
        
       description: """

+1 -1

packages/ppx_deriving_morphism/ppx_deriving_morphism.0.1/opam

···

       27
       27
        
         "ppx_deriving" {>= "3.0" & < "4.0"}

     

       28
       28
        
         "ocamlfind" {build}

     

       29
       29
        
         "ounit" {with-test}

     

       30
       30
       -
         "ppx_import" {with-test}

     

       30
       30
       +
         "ppx_import" {with-test & < "2.0"}

     

       31
       31
        
         "ocamlbuild" {build}

     

       32
       32
        
       ]

     

       33
       33
        
       synopsis: "Morphism generator for OCaml >=4.02"

+1 -1

packages/ppx_deriving_morphism/ppx_deriving_morphism.0.2/opam

···

       27
       27
        
         "ppx_deriving" {>= "3.0" & < "4.0"}

     

       28
       28
        
         "ocamlfind" {build}

     

       29
       29
        
         "ounit" {with-test}

     

       30
       30
       -
         "ppx_import" {with-test}

     

       30
       30
       +
         "ppx_import" {with-test & < "2.0"}

     

       31
       31
        
       ]

     

       32
       32
        
       synopsis: "Morphism generator for OCaml >=4.02"

     

       33
       33
        
       description: """

+1 -1

packages/ppx_deriving_morphism/ppx_deriving_morphism.0.3/opam

···

       27
       27
        
         "ppx_deriving" {>= "3.0" & < "4.0"}

     

       28
       28
        
         "ocamlfind" {build}

     

       29
       29
        
         "ounit" {with-test}

     

       30
       30
       -
         "ppx_import" {with-test}

     

       30
       30
       +
         "ppx_import" {with-test & < "2.0"}

     

       31
       31
        
       ]

     

       32
       32
        
       synopsis: "Morphism generator for OCaml >=4.02"

     

       33
       33
        
       description: """

+1 -1

packages/ppx_deriving_morphism/ppx_deriving_morphism.0.4.1/opam

···

       29
       29
        
         "ocamlfind" {build}

     

       30
       30
        
         "cppo_ocamlbuild" {build}

     

       31
       31
        
         "ounit" {with-test}

     

       32
       32
       -
         "ppx_import" {with-test}

     

       32
       32
       +
         "ppx_import" {with-test & < "2.0"}

     

       33
       33
        
       ]

     

       34
       34
        
       synopsis: "Morphism generator for OCaml >=4.02"

     

       35
       35
        
       description: """

+1 -1

packages/ppx_deriving_morphism/ppx_deriving_morphism.0.4/opam

···

       31
       31
        
         "cppo_ocamlbuild" {build}

     

       32
       32
        
         "result"

     

       33
       33
        
         "ounit" {with-test}

     

       34
       34
       -
         "ppx_import" {with-test}

     

       34
       34
       +
         "ppx_import" {with-test & < "2.0"}

     

       35
       35
        
       ]

     

       36
       36
        
       synopsis: "Morphism generator for OCaml >=4.02"

     

       37
       37
        
       description: """

+1 -1

packages/systemverilog/systemverilog.0.0.1/opam

···

       12
       12
        
         "ocamlbuild" {build}

     

       13
       13
        
         "topkg" {build & >= "0.9.0"}

     

       14
       14
        
         "astring" {build & >= "0.8.3"}

     

       15
       15
       -
         "ppx_import" {>= "1.2"}

     

       15
       15
       +
         "ppx_import" {>= "1.2" & < "2.0"}

     

       16
       16
        
         "menhir" {build & >= "20170418" & < "20200525"}

     

       17
       17
        
       ]

     

       18
       18
        
       build:

+1 -1

packages/uwt/uwt.0.0.1/opam

···

       27
       27
        
         "omake" {build}

     

       28
       28
        
         "ounit" {with-test & >= "2.0"}

     

       29
       29
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       30
       30
       -
         "ppx_import" {with-test & >= "1.0"}

     

       30
       30
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       31
       31
        
       ]

     

       32
       32
        
       depexts: ["pkgconf" "libuv"] {os = "freebsd"}

     

       33
       33
        
       post-messages: [

+1 -1

packages/uwt/uwt.0.0.2/opam

···

       27
       27
        
         "omake" {build}

     

       28
       28
        
         "ounit" {with-test & >= "2.0"}

     

       29
       29
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       30
       30
       -
         "ppx_import" {with-test & >= "1.0"}

     

       30
       30
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       31
       31
        
       ]

     

       32
       32
        
       depexts: [

     

       33
       33
        
         ["pkgconf" "libuv"] {os = "freebsd"}

+1 -1

packages/uwt/uwt.0.0.3/opam

···

       31
       31
        
         "lwt" {>= "2.4.7" & < "4.0.0"}

     

       32
       32
        
         "ounit" {with-test & >= "2.0"}

     

       33
       33
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       34
       34
       -
         "ppx_import" {with-test & >= "1.0"}

     

       34
       34
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       35
       35
        
       ]

     

       36
       36
        
       depopts: [

     

       37
       37
        
         "conf-libuv"

+1 -1

packages/uwt/uwt.0.0.4/opam

···

       31
       31
        
         "lwt" {>= "2.4.7" & < "4.0.0"}

     

       32
       32
        
         "ounit" {with-test & >= "2.0"}

     

       33
       33
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       34
       34
       -
         "ppx_import" {with-test & >= "1.0"}

     

       34
       34
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       35
       35
        
       ]

     

       36
       36
        
       depopts: [

     

       37
       37
        
         "conf-libuv"

+1 -1

packages/uwt/uwt.0.1.0/opam

···

       30
       30
        
         "lwt" {>= "2.6.0" & < "4.0.0"}

     

       31
       31
        
         "ounit" {with-test & >= "2.0"}

     

       32
       32
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       33
       33
       -
         "ppx_import" {with-test & >= "1.0"}

     

       33
       33
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       34
       34
        
       ]

     

       35
       35
        
       synopsis: "libuv bindings"

     

       36
       36
        
       description: """

+1 -1

packages/uwt/uwt.0.2.0/opam

···

       31
       31
        
         "lwt" {>= "2.6.0" & < "4.0.0"}

     

       32
       32
        
         "ounit" {with-test & >= "2.0"}

     

       33
       33
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       34
       34
       -
         "ppx_import" {with-test & >= "1.0"}

     

       34
       34
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       35
       35
        
       ]

     

       36
       36
        
       synopsis: "libuv bindings"

     

       37
       37
        
       description: """

+1 -1

packages/uwt/uwt.0.2.1/opam

···

       31
       31
        
         "lwt" {>= "2.6.0" & < "4.0.0"}

     

       32
       32
        
         "ounit" {with-test & >= "2.0"}

     

       33
       33
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       34
       34
       -
         "ppx_import" {with-test & >= "1.0"}

     

       34
       34
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       35
       35
        
       ]

     

       36
       36
        
       synopsis: "libuv bindings"

     

       37
       37
        
       description: """

+1 -1

packages/uwt/uwt.0.2.2/opam

···

       31
       31
        
         "lwt" {>= "2.6.0" & < "4.0.0"}

     

       32
       32
        
         "ounit" {with-test & >= "2.0"}

     

       33
       33
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       34
       34
       -
         "ppx_import" {with-test & >= "1.0"}

     

       34
       34
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       35
       35
        
       ]

     

       36
       36
        
       synopsis: "libuv bindings"

     

       37
       37
        
       description: """

+1 -1

packages/uwt/uwt.0.2.3/opam

···

       31
       31
        
         "lwt" {>= "2.6.0" & < "4.0.0"}

     

       32
       32
        
         "ounit" {with-test & >= "2.0"}

     

       33
       33
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       34
       34
       -
         "ppx_import" {with-test & >= "1.0"}

     

       34
       34
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       35
       35
        
       ]

     

       36
       36
        
       synopsis: "libuv bindings"

     

       37
       37
        
       description: """

+1 -1

packages/uwt/uwt.0.2.4/opam

···

       31
       31
        
         "lwt" {>= "2.6.0" & < "4.0"}

     

       32
       32
        
         "ounit" {with-test & >= "2.0"}

     

       33
       33
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       34
       34
       -
         "ppx_import" {with-test & >= "1.0"}

     

       34
       34
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       35
       35
        
       ]

     

       36
       36
        
       synopsis: "libuv bindings"

     

       37
       37
        
       description: """

+1 -1

packages/uwt/uwt.0.3.0.2/opam

···

       32
       32
        
         "lwt_log" {with-test}

     

       33
       33
        
         "ounit" {with-test & >= "2.0"}

     

       34
       34
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       35
       35
       -
         "ppx_import" {with-test & >= "1.0"}

     

       35
       35
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       36
       36
        
       ]

     

       37
       37
        
       synopsis: "libuv bindings"

     

       38
       38
        
       description: """

+1 -1

packages/uwt/uwt.0.3.0/opam

···

       32
       32
        
         "lwt_log" {with-test}

     

       33
       33
        
         "ounit" {with-test & >= "2.0"}

     

       34
       34
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       35
       35
       -
         "ppx_import" {with-test & >= "1.0"}

     

       35
       35
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       36
       36
        
       ]

     

       37
       37
        
       synopsis: "libuv bindings"

     

       38
       38
        
       description: """

+1 -1

packages/uwt/uwt.0.3.2/opam

···

       33
       33
        
         "lwt_log" {with-test}

     

       34
       34
        
         "ounit" {with-test & >= "2.0"}

     

       35
       35
        
         "ppx_deriving" {with-test & >= "2.0"}

     

       36
       36
       -
         "ppx_import" {with-test & >= "1.0"}

     

       36
       36
       +
         "ppx_import" {with-test & >= "1.0" & < "2.0"}

     

       37
       37
        
       ]

     

       38
       38
        
       synopsis: "libuv bindings"

     

       39
       39
        
       description: """

+1 -1

packages/wikitext/wikitext.1.0.0/opam

···

       15
       15
        
         "js_of_ocaml" {with-test}

     

       16
       16
        
         "ounit" {with-test & >= "2.0.0"}

     

       17
       17
        
         "ppx_deriving" {with-test}

     

       18
       18
       -
         "ppx_import" {with-test}

     

       18
       18
       +
         "ppx_import" {with-test & < "2.0"}

     

       19
       19
        
       ]

     

       20
       20
        
       url {

     

       21
       21
        
         src: "https://github.com/geneanet/ocaml-wikitext/archive/1.0.0.tar.gz"

+1 -1

packages/wikitext/wikitext.2.0.0/opam

···

       15
       15
        
         "js_of_ocaml" {with-test}

     

       16
       16
        
         "ounit" {with-test & >= "2.0.0"}

     

       17
       17
        
         "ppx_deriving" {with-test}

     

       18
       18
       -
         "ppx_import" {with-test}

     

       18
       18
       +
         "ppx_import" {with-test & < "2.0"}

     

       19
       19
        
       ]

     

       20
       20
        
       url {

     

       21
       21
        
         src: "https://github.com/geneanet/ocaml-wikitext/archive/2.0.0.tar.gz"

+1 -1

packages/wikitext/wikitext.2.0.1/opam

···

       15
       15
        
         "js_of_ocaml" {with-test}

     

       16
       16
        
         "ounit" {with-test & >= "2.0.0"}

     

       17
       17
        
         "ppx_deriving" {with-test}

     

       18
       18
       -
         "ppx_import" {with-test}

     

       18
       18
       +
         "ppx_import" {with-test & < "2.0"}

     

       19
       19
        
       ]

     

       20
       20
        
       url {

     

       21
       21
        
         src: "https://github.com/geneanet/ocaml-wikitext/archive/2.0.1.tar.gz"

+1 -1

packages/wikitext/wikitext.2.1.0/opam

···

       15
       15
        
         "js_of_ocaml" {with-test}

     

       16
       16
        
         "ounit" {with-test & >= "2.0.0"}

     

       17
       17
        
         "ppx_deriving" {with-test}

     

       18
       18
       -
         "ppx_import" {with-test}

     

       18
       18
       +
         "ppx_import" {with-test & < "2.0"}

     

       19
       19
        
       ]

     

       20
       20
        
       url {

     

       21
       21
        
         src: "https://github.com/geneanet/ocaml-wikitext/archive/2.1.0.tar.gz"

+1 -1

packages/wikitext/wikitext.3.0.0/opam

···

       15
       15
        
         "js_of_ocaml" {with-test}

     

       16
       16
        
         "ounit" {with-test & >= "2.0.0"}

     

       17
       17
        
         "ppx_deriving" {with-test}

     

       18
       18
       -
         "ppx_import" {with-test}

     

       18
       18
       +
         "ppx_import" {with-test & < "2.0"}

     

       19
       19
        
       ]

     

       20
       20
        
       url {

     

       21
       21
        
         src: "https://github.com/geneanet/ocaml-wikitext/archive/3.0.0.tar.gz"

+1 -1

packages/wikitext/wikitext.3.0.1/opam

···

       15
       15
        
         "js_of_ocaml" {with-test}

     

       16
       16
        
         "ounit" {with-test & >= "2.0.0"}

     

       17
       17
        
         "ppx_deriving" {with-test}

     

       18
       18
       -
         "ppx_import" {with-test}

     

       18
       18
       +
         "ppx_import" {with-test & < "2.0"}

     

       19
       19
        
       ]

     

       20
       20
        
       url {

     

       21
       21
        
         src: "https://github.com/geneanet/ocaml-wikitext/archive/3.0.1.tar.gz"