···

       
23
       
 
       
  "tezt" {with-test & >= "4.1.0"}

     

       
24
       
 
       
  "odoc" {with-doc}

     

       
25
       
 
       
]

     

       
26
       
-
       
conflicts: "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
27
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
28
       
 
       
build: [

     

       
29
       
 
       
  [

     

···

       
23
       
 
       
  "tezt" {with-test & >= "4.1.0"}

     

       
24
       
 
       
  "odoc" {with-doc}

     

       
25
       
 
       
]

     

       
26
       
+
       
conflicts: [

     

       
27
       
+
       
  "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       
28
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
29
       
+
       
]

     

       
30
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
31
       
 
       
build: [

     

       
32
       
 
       
  [

     

···

       
35
       
 
       
  "coq"   { < "8.17" }

     

       
36
       
 
       
  "ocaml-option-bytecode-only"

     

       
37
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
38
       
 
       
]

     

       
39
       
 
       
build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       
40
       
 
       
build: [

     

···

       
35
       
 
       
  "coq"   { < "8.17" }

     

       
36
       
 
       
  "ocaml-option-bytecode-only"

     

       
37
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
38
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
39
       
 
       
]

     

       
40
       
 
       
build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       
41
       
 
       
build: [

     

···

       
34
       
 
       
conflicts: [

     

       
35
       
 
       
  "coq"   { < "8.17" }

     

       
36
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
37
       
 
       
]

     

       
38
       
 
       
build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       
39
       
 
       
build: [

     

···

       
34
       
 
       
conflicts: [

     

       
35
       
 
       
  "coq"   { < "8.17" }

     

       
36
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
37
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
38
       
 
       
]

     

       
39
       
 
       
build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       
40
       
 
       
build: [

     

···

       
35
       
 
       
conflicts: [

     

       
36
       
 
       
  "coq"   { < "8.17" }

     

       
37
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
38
       
 
       
]

     

       
39
       
 
       
build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       
40
       
 
       
build: [

     

···

       
35
       
 
       
conflicts: [

     

       
36
       
 
       
  "coq"   { < "8.17" }

     

       
37
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
38
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
39
       
 
       
]

     

       
40
       
 
       
build-env: OCAMLPARAM = "_,w=-46,warn-error=-a,keywords=5.2"

     

       
41
       
 
       
build: [

     

···

       
35
       
 
       
conflicts: [

     

       
36
       
 
       
  "coq"   { < "8.17" }

     

       
37
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
38
       
 
       
]

     

       
39
       
 
       
depopts: ["coq-native"]

     

       
40
       
 
       
dev-repo: "git+https://github.com/coq/coq.git"

     

···

       
35
       
 
       
conflicts: [

     

       
36
       
 
       
  "coq"   { < "8.17" }

     

       
37
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
38
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
39
       
 
       
]

     

       
40
       
 
       
depopts: ["coq-native"]

     

       
41
       
 
       
dev-repo: "git+https://github.com/coq/coq.git"

     

···

       
35
       
 
       
conflicts: [

     

       
36
       
 
       
  "coq"   { < "8.17" }

     

       
37
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
38
       
 
       
]

     

       
39
       
 
       
depopts: ["coq-native"]

     

       
40
       
 
       
dev-repo: "git+https://github.com/coq/coq.git"

     

···

       
35
       
 
       
conflicts: [

     

       
36
       
 
       
  "coq"   { < "8.17" }

     

       
37
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
38
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
39
       
 
       
]

     

       
40
       
 
       
depopts: ["coq-native"]

     

       
41
       
 
       
dev-repo: "git+https://github.com/coq/coq.git"

     

···

       
14
       
 
       
  "dune"

     

       
15
       
 
       
  "ocaml" {>= "4.07.0"}

     

       
16
       
 
       
]

     

       
17
       
-
       
conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
18
       
 
       
synopsis: "Configurable functions to test impure code"

     

       
19
       
 
       
description: """

     

       
20
       
 
       
This package provides "mocks", fake functions that can be configured to return

     

···

       
14
       
 
       
  "dune"

     

       
15
       
 
       
  "ocaml" {>= "4.07.0"}

     

       
16
       
 
       
]

     

       
17
       
+
       
conflicts: [

     

       
18
       
+
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
19
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
20
       
+
       
]

     

       
21
       
 
       
synopsis: "Configurable functions to test impure code"

     

       
22
       
 
       
description: """

     

       
23
       
 
       
This package provides "mocks", fake functions that can be configured to return

     

···

       
37
       
 
       
  "odoc" {with-doc}

     

       
38
       
 
       
]

     

       
39
       
 
       
depopts: ["elina"]

     

       
40
       
-
       
conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
41
       
 
       
available:

     

       
42
       
 
       
  !(arch = "x86_32") & !(os-family = "windows") & opam-version >= "2.1.0"

     

       
43
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

···

       
37
       
 
       
  "odoc" {with-doc}

     

       
38
       
 
       
]

     

       
39
       
 
       
depopts: ["elina"]

     

       
40
       
+
       
conflicts: [

     

       
41
       
+
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
42
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
43
       
+
       
]

     

       
44
       
 
       
available:

     

       
45
       
 
       
  !(arch = "x86_32") & !(os-family = "windows") & opam-version >= "2.1.0"

     

       
46
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

···

       
26
       
 
       
  "ocaml" {>= "4.03.0"}

     

       
27
       
 
       
  "ocamlfind"

     

       
28
       
 
       
]

     

       
29
       
-
       
conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
30
       
 
       
synopsis: "Build system designed for scalability and portability"

     

       
31
       
 
       


     

       
32
       
 
       
url {

     

···

       
26
       
 
       
  "ocaml" {>= "4.03.0"}

     

       
27
       
 
       
  "ocamlfind"

     

       
28
       
 
       
]

     

       
29
       
+
       
conflicts: [

     

       
30
       
+
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
31
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
32
       
+
       
]

     

       
33
       
 
       
synopsis: "Build system designed for scalability and portability"

     

       
34
       
 
       


     

       
35
       
 
       
url {

     

···

       
14
       
 
       
  "prbnmcn-cgrph" {= "0.0.2"}

     

       
15
       
 
       
  "odoc" {with-doc}

     

       
16
       
 
       
]

     

       
17
       
-
       
conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
18
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
19
       
 
       
build: [

     

       
20
       
 
       
  ["dune" "subst"] {dev}

     

···

       
14
       
 
       
  "prbnmcn-cgrph" {= "0.0.2"}

     

       
15
       
 
       
  "odoc" {with-doc}

     

       
16
       
 
       
]

     

       
17
       
+
       
conflicts: [

     

       
18
       
+
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
19
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
20
       
+
       
]

     

       
21
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
22
       
 
       
build: [

     

       
23
       
 
       
  ["dune" "subst"] {dev}

     

···

       
17
       
 
       
  "prbnmcn-cgrph" {= "0.0.2"}

     

       
18
       
 
       
  "odoc" {with-doc}

     

       
19
       
 
       
]

     

       
20
       
-
       
conflicts: "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
21
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
22
       
 
       
build: [

     

       
23
       
 
       
  ["dune" "subst"] {dev}

     

···

       
17
       
 
       
  "prbnmcn-cgrph" {= "0.0.2"}

     

       
18
       
 
       
  "odoc" {with-doc}

     

       
19
       
 
       
]

     

       
20
       
+
       
conflicts: [

     

       
21
       
+
       
  "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       
22
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
23
       
+
       
]

     

       
24
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
25
       
 
       
build: [

     

       
26
       
 
       
  ["dune" "subst"] {dev}

     

···

       
18
       
 
       
  "prbnmcn-cgrph" {= "0.0.2"}

     

       
19
       
 
       
  "odoc" {with-doc}

     

       
20
       
 
       
]

     

       
21
       
-
       
conflicts: "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
22
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
23
       
 
       
build: [

     

       
24
       
 
       
  ["dune" "subst"] {dev}

     

···

       
18
       
 
       
  "prbnmcn-cgrph" {= "0.0.2"}

     

       
19
       
 
       
  "odoc" {with-doc}

     

       
20
       
 
       
]

     

       
21
       
+
       
conflicts: [

     

       
22
       
+
       
  "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       
23
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
24
       
+
       
]

     

       
25
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
26
       
 
       
build: [

     

       
27
       
 
       
  ["dune" "subst"] {dev}

     

···

       
18
       
 
       
  "prbnmcn-cgrph" {= "0.0.2"}

     

       
19
       
 
       
  "odoc" {with-doc}

     

       
20
       
 
       
]

     

       
21
       
-
       
conflicts: "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
22
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
23
       
 
       
build: [

     

       
24
       
 
       
  ["dune" "subst"] {dev}

     

···

       
18
       
 
       
  "prbnmcn-cgrph" {= "0.0.2"}

     

       
19
       
 
       
  "odoc" {with-doc}

     

       
20
       
 
       
]

     

       
21
       
+
       
conflicts: [

     

       
22
       
+
       
  "ocaml-variants" {= "5.1.1+effect-syntax"}

     

       
23
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
24
       
+
       
]

     

       
25
       
 
       
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2"

     

       
26
       
 
       
build: [

     

       
27
       
 
       
  ["dune" "subst"] {dev}

     

···

       
76
       
 
       
  "ocamlgraph" {< "1.8.2"}

     

       
77
       
 
       
  "mlmpfr" {< "4.0.0"}

     

       
78
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
79
       
 
       
  "ocaml-option-bytecode-only"

     

       
80
       
 
       
]

     

       
81
       
 
       


     

···

       
76
       
 
       
  "ocamlgraph" {< "1.8.2"}

     

       
77
       
 
       
  "mlmpfr" {< "4.0.0"}

     

       
78
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
79
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
80
       
 
       
  "ocaml-option-bytecode-only"

     

       
81
       
 
       
]

     

       
82
       
 
       


     

···

       
77
       
 
       
  "ocamlgraph" {< "1.8.2"}

     

       
78
       
 
       
  "mlmpfr" {< "4.0.0"}

     

       
79
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
80
       
 
       
  "ocaml-option-bytecode-only"

     

       
81
       
 
       
]

     

       
82
       
 
       


     

···

       
77
       
 
       
  "ocamlgraph" {< "1.8.2"}

     

       
78
       
 
       
  "mlmpfr" {< "4.0.0"}

     

       
79
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
80
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
81
       
 
       
  "ocaml-option-bytecode-only"

     

       
82
       
 
       
]

     

       
83
       
 
       


     

···

       
77
       
 
       
  "ocamlgraph" {< "1.8.2"}

     

       
78
       
 
       
  "mlmpfr" {< "4.0.0"}

     

       
79
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
80
       
 
       
  "ocaml-option-bytecode-only"

     

       
81
       
 
       
]

     

       
82
       
 
       


     

···

       
77
       
 
       
  "ocamlgraph" {< "1.8.2"}

     

       
78
       
 
       
  "mlmpfr" {< "4.0.0"}

     

       
79
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
80
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
81
       
 
       
  "ocaml-option-bytecode-only"

     

       
82
       
 
       
]

     

       
83
       
 
       


     

···

       
77
       
 
       
  "ocamlgraph" {< "1.8.2"}

     

       
78
       
 
       
  "mlmpfr" {< "4.0.0"}

     

       
79
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
80
       
 
       
]

     

       
81
       
 
       


     

       
82
       
 
       
synopsis: "Why3 environment for deductive program verification"

     

···

       
77
       
 
       
  "ocamlgraph" {< "1.8.2"}

     

       
78
       
 
       
  "mlmpfr" {< "4.0.0"}

     

       
79
       
 
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
80
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
81
       
 
       
]

     

       
82
       
 
       


     

       
83
       
 
       
synopsis: "Why3 environment for deductive program verification"

     

···

       
24
       
 
       
  "alcotest" {with-test}

     

       
25
       
 
       
  "preface" { >= "1.0.0"}

     

       
26
       
 
       
]

     

       
27
       
-
       
conflicts: "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
0
       
 
       

     

       
0
       
 
       

     

       
0
       
 
       

     

       
28
       
 
       
url {

     

       
29
       
 
       
  src:

     

       
30
       
 
       
    "https://github.com/xhtmlboi/yocaml/releases/download/v1.0.0/yocaml-1.0.0.tbz"

     

···

       
24
       
 
       
  "alcotest" {with-test}

     

       
25
       
 
       
  "preface" { >= "1.0.0"}

     

       
26
       
 
       
]

     

       
27
       
+
       
conflicts: [

     

       
28
       
+
       
  "ocaml-variants" {= "4.12.0+domains+effects" | = "5.1.1+effect-syntax"}

     

       
29
       
+
       
  "ocaml-compiler" {= "5.3.0~alpha1"}

     

       
30
       
+
       
]

     

       
31
       
 
       
url {

     

       
32
       
 
       
  src:

     

       
33
       
 
       
    "https://github.com/xhtmlboi/yocaml/releases/download/v1.0.0/yocaml-1.0.0.tbz"