···

       
10
       
10
       
 
       
bug-reports: "https://github.com/barko/bentov/issues"

     

       
11
       
11
       
 
       
depends: [

     

       
12
       
12
       
 
       
  "dune" {>= "2.5"}

     

       
13
       
13
       
-
       
  "cmdliner" {>= "1.0.4"}

     

       
13
       
13
       
+
       
  "cmdliner" {>= "1.0.4" & < "2.0.0"}

     

       
14
       
14
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
15
       
15
       
 
       
]

     

       
16
       
16
       
 
       
build: [

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune"

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0"}

     

       
25
       
25
       
 
       
  "ocaml" {with-test & < "4.12"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune"

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0"}

     

       
25
       
25
       
 
       
  "ocaml" {with-test & < "4.12"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune"

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0"}

     

       
25
       
25
       
 
       
  "ocaml" {with-test & < "4.12"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune"

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0"}

     

       
25
       
25
       
 
       
  "ocaml" {with-test & < "4.12"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune"

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0"}

     

       
25
       
25
       
 
       
  "ocaml" {with-test & < "4.12"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune"

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0"}

     

       
25
       
25
       
 
       
  "ocaml" {with-test & < "4.12"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune" {>= "2.7.0"}

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0"}

     

       
25
       
25
       
 
       
  "ocaml" {with-test & < "4.12"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune" {>= "2.7.0"}

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0" & < "5.0"}

     

       
25
       
25
       
 
       
  "ppxlib" {>= "0.21.0" & < "0.26.0"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune" {>= "2.7.0"}

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0" & < "5.0"}

     

       
25
       
25
       
 
       
  "ppxlib" {>= "0.21.0" & < "0.26.0"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune" {>= "2.7.0"}

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0" & < "5.0"}

     

       
25
       
25
       
 
       
  "ppxlib" {>= "0.21.0" & < "0.26.0"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune" {>= "2.7.0"}

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.02.0" & < "5.0"}

     

       
25
       
25
       
 
       
  "ppxlib" {>= "0.21.0" & < "0.26.0"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune" {>= "2.7.0"}

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.03.0"}

     

       
25
       
25
       
 
       
  "ppxlib" {>= "0.21.0" & < "0.26.0"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune" {>= "2.7.0"}

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.03.0"}

     

       
25
       
25
       
 
       
  "ppxlib" {>= "0.26.0" & < "0.28.0"}

     

···

       
19
       
19
       
 
       


     

       
20
       
20
       
 
       
depends: [

     

       
21
       
21
       
 
       
  "base-unix"

     

       
22
       
22
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
22
       
22
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
23
       
23
       
 
       
  "dune" {>= "2.7.0"}

     

       
24
       
24
       
 
       
  "ocaml" {>= "4.03.0"}

     

       
25
       
25
       
 
       
  "ppxlib" {>= "0.28.0" & < "0.36.0"}

     

···

       
11
       
11
       
 
       
  "dune" {>= "2.7"}

     

       
12
       
12
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
13
       
13
       
 
       
  "ocaml-compiler-libs"

     

       
14
       
14
       
-
       
  "cmdliner"

     

       
14
       
14
       
+
       
  "cmdliner" {< "2.0.0"}

     

       
15
       
15
       
 
       
  "base-unix"

     

       
16
       
16
       
 
       
  "odoc" {with-doc}

     

       
17
       
17
       
 
       
]

     

···

       
11
       
11
       
 
       
  "dune" {>= "2.7"}

     

       
12
       
12
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
13
       
13
       
 
       
  "ocaml-compiler-libs"

     

       
14
       
14
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
14
       
14
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
15
       
15
       
 
       
  "base-unix"

     

       
16
       
16
       
 
       
  "odoc" {with-doc}

     

       
17
       
17
       
 
       
]

     

···

       
11
       
11
       
 
       
  "dune" {>= "2.6"}

     

       
12
       
12
       
 
       
  "ocaml" {>= "4.08.1"}

     

       
13
       
13
       
 
       
  "ocaml-compiler-libs"

     

       
14
       
14
       
-
       
  "cmdliner"

     

       
14
       
14
       
+
       
  "cmdliner" {< "2.0.0"}

     

       
15
       
15
       
 
       
]

     

       
16
       
16
       
 
       
build: [

     

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

     

···

       
11
       
11
       
 
       
depends: [

     

       
12
       
12
       
 
       
  "dune" {>= "2.5"}

     

       
13
       
13
       
 
       
  "re" {>= "1.9.0"}

     

       
14
       
14
       
-
       
  "cmdliner" {>= "1.0.4"}

     

       
14
       
14
       
+
       
  "cmdliner" {>= "1.0.4" & < "2.0.0"}

     

       
15
       
15
       
 
       
  "menhir" {>= "20200211"}

     

       
16
       
16
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
17
       
17
       
 
       
]

     

···

       
16
       
16
       
 
       
  "ppx_expect" {>= "v0.14.1"}

     

       
17
       
17
       
 
       
  "astring" {>= "0.8.5"}

     

       
18
       
18
       
 
       
  "bos" {>= "0.2.0"}

     

       
19
       
19
       
-
       
  "cmdliner" {>= "1.0.4"}

     

       
19
       
19
       
+
       
  "cmdliner" {>= "1.0.4" & < "2.0.0"}

     

       
20
       
20
       
 
       
  "fmt" {>= "0.8.9"}

     

       
21
       
21
       
 
       
  "logs" {>= "0.7.0"}

     

       
22
       
22
       
 
       
  "diskuvbox" {>= "0.1.0"}

     

···

       
21
       
21
       
 
       
  "ppx_expect" {>= "v0.14.1"}

     

       
22
       
22
       
 
       
  "astring" {>= "0.8.5"}

     

       
23
       
23
       
 
       
  "bos" {>= "0.2.0"}

     

       
24
       
24
       
-
       
  "cmdliner" {>= "1.0.4"}

     

       
24
       
24
       
+
       
  "cmdliner" {>= "1.0.4" & < "2.0.0"}

     

       
25
       
25
       
 
       
  "fmt" {>= "0.8.9"}

     

       
26
       
26
       
 
       
  "logs" {>= "0.7.0"}

     

       
27
       
27
       
 
       
  "diskuvbox" {>= "0.1.0"}

     

···

       
21
       
21
       
 
       
  "ppx_expect" {>= "v0.14.1"}

     

       
22
       
22
       
 
       
  "astring" {>= "0.8.5"}

     

       
23
       
23
       
 
       
  "bos" {>= "0.2.0"}

     

       
24
       
24
       
-
       
  "cmdliner" {>= "1.0.4"}

     

       
24
       
24
       
+
       
  "cmdliner" {>= "1.0.4" & < "2.0.0"}

     

       
25
       
25
       
 
       
  "fmt" {>= "0.8.9"}

     

       
26
       
26
       
 
       
  "logs" {>= "0.7.0"}

     

       
27
       
27
       
 
       
  "diskuvbox" {>= "0.1.0"}

     

···

       
21
       
21
       
 
       
  "ppx_expect" {>= "v0.14.1"}

     

       
22
       
22
       
 
       
  "astring" {>= "0.8.5"}

     

       
23
       
23
       
 
       
  "bos" {>= "0.2.0"}

     

       
24
       
24
       
-
       
  "cmdliner" {>= "1.0.4"}

     

       
24
       
24
       
+
       
  "cmdliner" {>= "1.0.4" & < "2.0.0"}

     

       
25
       
25
       
 
       
  "fmt" {>= "0.8.9"}

     

       
26
       
26
       
 
       
  "logs" {>= "0.7.0"}

     

       
27
       
27
       
 
       
  "diskuvbox" {>= "0.1.1"}

     

···

       
16
       
16
       
 
       
  "ppx_expect" {>= "v0.14.1"}

     

       
17
       
17
       
 
       
  "astring" {>= "0.8.5"}

     

       
18
       
18
       
 
       
  "bos" {>= "0.2.0"}

     

       
19
       
19
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
19
       
19
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
20
       
20
       
 
       
  "fmt" {>= "0.8.9"}

     

       
21
       
21
       
 
       
  "logs" {>= "0.7.0"}

     

       
22
       
22
       
 
       
  "diskuvbox" {>= "0.1.1"}

     

···

       
15
       
15
       
 
       
  "ppx_expect" {>= "v0.14.1"}

     

       
16
       
16
       
 
       
  "astring" {>= "0.8.5"}

     

       
17
       
17
       
 
       
  "bos" {>= "0.2.0"}

     

       
18
       
18
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
18
       
18
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
19
       
19
       
 
       
  "fmt" {>= "0.8.9"}

     

       
20
       
20
       
 
       
  "logs" {>= "0.7.0"}

     

       
21
       
21
       
 
       
  "diskuvbox" {>= "0.1.1"}

     

···

       
14
       
14
       
 
       
  "ppx_expect" {>= "v0.14.1"}

     

       
15
       
15
       
 
       
  "astring" {>= "0.8.5"}

     

       
16
       
16
       
 
       
  "bos" {>= "0.2.0"}

     

       
17
       
17
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
17
       
17
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
18
       
18
       
 
       
  "fmt" {>= "0.8.9"}

     

       
19
       
19
       
 
       
  "logs" {>= "0.7.0"}

     

       
20
       
20
       
 
       
  "diskuvbox" {>= "0.1.1"}

     

···

       
14
       
14
       
 
       
  "dkml-install" {= version}

     

       
15
       
15
       
 
       
  "astring" {>= "0.8.5"}

     

       
16
       
16
       
 
       
  "bos" {>= "0.2.0"}

     

       
17
       
17
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
17
       
17
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
18
       
18
       
 
       
  "fmt" {>= "0.8.9"}

     

       
19
       
19
       
 
       
  "logs" {>= "0.7.0"}

     

       
20
       
20
       
 
       
  "diskuvbox" {>= "0.1.1"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "1.0.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.7.1" & < "0.8.0"}

     

       
23
       
23
       
 
       
  "nocrypto" {>= "0.5.4"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.8.0" & < "0.10.0"}

     

       
23
       
23
       
 
       
  "nocrypto" {>= "0.5.4"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.8.0" & < "0.10.0"}

     

       
23
       
23
       
 
       
  "nocrypto" {>= "0.5.4"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.8.0" & < "0.10.0"}

     

       
23
       
23
       
 
       
  "nocrypto" {>= "0.5.4"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.8.0" & < "0.10.0"}

     

       
23
       
23
       
 
       
  "nocrypto" {>= "0.5.4"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.10.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {< "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.10.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {< "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.10.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {< "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.10.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {< "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.10.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {< "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.10.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.10.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-certify" {= version}

     

       
18
       
18
       
 
       
  "rresult" {>= "0.6.0"}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.13.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "rresult" {>= "0.6.0"}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.13.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.13.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.13.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.13.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.13.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.13.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "0.13.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
18
       
18
       
 
       
  "dns-server" {= version}

     

       
19
       
19
       
 
       
  "dns-certify" {= version}

     

       
20
       
20
       
 
       
  "bos" {>= "0.2.0"}

     

       
21
       
21
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
21
       
21
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
22
       
22
       
 
       
  "fpath" {>= "0.7.2"}

     

       
23
       
23
       
 
       
  "x509" {>= "0.13.0"}

     

       
24
       
24
       
 
       
  "mirage-crypto" {>= "0.8.0" & < "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "1.0.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "1.0.0"}

     

···

       
17
       
17
       
 
       
  "dns-server" {= version}

     

       
18
       
18
       
 
       
  "dns-certify" {= version}

     

       
19
       
19
       
 
       
  "bos" {>= "0.2.0"}

     

       
20
       
20
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
20
       
20
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
21
       
21
       
 
       
  "fpath" {>= "0.7.2"}

     

       
22
       
22
       
 
       
  "x509" {>= "1.0.0"}

     

       
23
       
23
       
 
       
  "mirage-crypto" {>= "1.0.0"}

     

···

       
14
       
14
       
 
       
  "dolmen_model" {= version }

     

       
15
       
15
       
 
       
  "dune" { >= "3.0" }

     

       
16
       
16
       
 
       
  "fmt"

     

       
17
       
17
       
-
       
  "cmdliner" { >= "1.1.0" }

     

       
17
       
17
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
18
       
18
       
 
       
  "odoc" { with-doc }

     

       
19
       
19
       
 
       
]

     

       
20
       
20
       
 
       
depopts: [

     

···

       
13
       
13
       
 
       
  "dolmen_loop" {= version }

     

       
14
       
14
       
 
       
  "dune" { >= "2.7" }

     

       
15
       
15
       
 
       
  "fmt"

     

       
16
       
16
       
-
       
  "cmdliner"

     

       
16
       
16
       
+
       
  "cmdliner" {< "2.0.0"}

     

       
17
       
17
       
 
       
  "odoc" { with-doc }

     

       
18
       
18
       
 
       
]

     

       
19
       
19
       
 
       
tags: [ "logic" "computation" "automated theorem prover" "logic" "smtlib" "tptp"]

     

···

       
13
       
13
       
 
       
  "dolmen_loop" {= version }

     

       
14
       
14
       
 
       
  "dune" { >= "2.7" }

     

       
15
       
15
       
 
       
  "fmt"

     

       
16
       
16
       
-
       
  "cmdliner"

     

       
16
       
16
       
+
       
  "cmdliner" {< "2.0.0"}

     

       
17
       
17
       
 
       
  "odoc" { with-doc }

     

       
18
       
18
       
 
       
]

     

       
19
       
19
       
 
       
tags: [ "logic" "computation" "automated theorem prover" "logic" "smtlib" "tptp"]

     

···

       
13
       
13
       
 
       
  "dolmen_loop" {= version }

     

       
14
       
14
       
 
       
  "dune" { >= "2.7" }

     

       
15
       
15
       
 
       
  "fmt"

     

       
16
       
16
       
-
       
  "cmdliner" { >= "1.1.0" }

     

       
16
       
16
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
17
       
17
       
 
       
  "odoc" { with-doc }

     

       
18
       
18
       
 
       
]

     

       
19
       
19
       
 
       
depopts: [

     

···

       
14
       
14
       
 
       
  "dolmen_model" {= version }

     

       
15
       
15
       
 
       
  "dune" { >= "3.0" }

     

       
16
       
16
       
 
       
  "fmt"

     

       
17
       
17
       
-
       
  "cmdliner" { >= "1.1.0" }

     

       
17
       
17
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
18
       
18
       
 
       
  "odoc" { with-doc }

     

       
19
       
19
       
 
       
]

     

       
20
       
20
       
 
       
depopts: [

     

···

       
14
       
14
       
 
       
  "dolmen_model" {= version }

     

       
15
       
15
       
 
       
  "dune" { >= "3.0" }

     

       
16
       
16
       
 
       
  "fmt"

     

       
17
       
17
       
-
       
  "cmdliner" { >= "1.1.0" }

     

       
17
       
17
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
18
       
18
       
 
       
  "odoc" { with-doc }

     

       
19
       
19
       
 
       
]

     

       
20
       
20
       
 
       
depopts: [

     

···

       
14
       
14
       
 
       
  "dolmen_model" {= version }

     

       
15
       
15
       
 
       
  "dune" { >= "3.0" }

     

       
16
       
16
       
 
       
  "fmt"

     

       
17
       
17
       
-
       
  "cmdliner" { >= "1.1.0" }

     

       
17
       
17
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
18
       
18
       
 
       
  "odoc" { with-doc }

     

       
19
       
19
       
 
       
]

     

       
20
       
20
       
 
       
depopts: [

     

···

       
23
       
23
       
 
       
  "fmt" {>= "0.8.7"}

     

       
24
       
24
       
 
       
  "fpath" {>= "0.7.3"}

     

       
25
       
25
       
 
       
  "bos"

     

       
26
       
26
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
26
       
26
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
27
       
27
       
 
       
  "re" {>= "1.7.2"}

     

       
28
       
28
       
 
       
  "astring"

     

       
29
       
29
       
 
       
  "opam-file-format" {>= "2.1.2"}

     

···

       
23
       
23
       
 
       
  "fmt" {>= "0.8.7"}

     

       
24
       
24
       
 
       
  "fpath" {>= "0.7.3"}

     

       
25
       
25
       
 
       
  "bos"

     

       
26
       
26
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
26
       
26
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
27
       
27
       
 
       
  "re" {>= "1.7.2"}

     

       
28
       
28
       
 
       
  "astring"

     

       
29
       
29
       
 
       
  "opam-file-format" {>= "2.1.2"}

     

···

       
24
       
24
       
 
       
  "fmt" {>= "0.8.7"}

     

       
25
       
25
       
 
       
  "fpath" {>= "0.7.3"}

     

       
26
       
26
       
 
       
  "bos" {>= "0.1.3"}

     

       
27
       
27
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
27
       
27
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
28
       
28
       
 
       
  "re" {>= "1.7.2"}

     

       
29
       
29
       
 
       
  "astring"

     

       
30
       
30
       
 
       
  "opam-file-format" {>= "2.1.2"}

     

···

       
24
       
24
       
 
       
  "fmt" {>= "0.8.7"}

     

       
25
       
25
       
 
       
  "fpath" {>= "0.7.3"}

     

       
26
       
26
       
 
       
  "bos" {>= "0.1.3"}

     

       
27
       
27
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
27
       
27
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
28
       
28
       
 
       
  "re" {>= "1.7.2"}

     

       
29
       
29
       
 
       
  "astring"

     

       
30
       
30
       
 
       
  "opam-file-format" {>= "2.1.2"}

     

···

       
12
       
12
       
 
       
  "dune" {>= "2.8"}

     

       
13
       
13
       
 
       
  "fsevents" {= version}

     

       
14
       
14
       
 
       
  "cf-lwt"

     

       
15
       
15
       
-
       
  "cmdliner"

     

       
15
       
15
       
+
       
  "cmdliner" {< "2.0.0"}

     

       
16
       
16
       
 
       
  "alcotest" {with-test}

     

       
17
       
17
       
 
       
  "lwt" {>= "5.0.0"}

     

       
18
       
18
       
 
       
  "odoc" {with-doc}

     

···

       
21
       
21
       
 
       
depends: [

     

       
22
       
22
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
23
       
23
       
 
       
  "dune" {>= "1.1.0"}

     

       
24
       
24
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
24
       
24
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
25
       
25
       
 
       
  "rresult"

     

       
26
       
26
       
 
       
  "astring"

     

       
27
       
27
       
 
       
  "fmt" {>= "0.8.7"}

     

···

       
25
       
25
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
26
       
26
       
 
       
  "dune" {>= "2.9.0" | (with-test & >= "3.0.0")}

     

       
27
       
27
       
 
       
  "base-unix"

     

       
28
       
28
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
28
       
28
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
29
       
29
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
30
       
30
       
 
       
  "rresult" {>= "0.7.0"}

     

       
31
       
31
       
 
       
  "result" {>= "1.5"}

     

···

       
25
       
25
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
26
       
26
       
 
       
  "dune" {>= "2.9.0" | (with-test & >= "3.0.0")}

     

       
27
       
27
       
 
       
  "base-unix"

     

       
28
       
28
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
28
       
28
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
29
       
29
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
30
       
30
       
 
       
  "rresult" {>= "0.7.0"}

     

       
31
       
31
       
 
       
  "result" {>= "1.5"}

     

···

       
25
       
25
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
26
       
26
       
 
       
  "dune" {>= "2.9.0" | (with-test & >= "3.0.0")}

     

       
27
       
27
       
 
       
  "base-unix"

     

       
28
       
28
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
28
       
28
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
29
       
29
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
30
       
30
       
 
       
  "rresult" {>= "0.7.0"}

     

       
31
       
31
       
 
       
  "result" {>= "1.5"}

     

···

       
25
       
25
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
26
       
26
       
 
       
  "dune" {>= "2.9.0" | (with-test & >= "3.0.0")}

     

       
27
       
27
       
 
       
  "base-unix"

     

       
28
       
28
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
28
       
28
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
29
       
29
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
30
       
30
       
 
       
  "rresult" {>= "0.7.0"}

     

       
31
       
31
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & < "1.2.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & >= "1.2.0" & < "1.3.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & >= "1.2.0" & < "1.3.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
26
       
26
       
 
       
  "dune" {>= "2.9.0"}

     

       
27
       
27
       
 
       
  "dune" {with-test & >= "3.0.0"}

     

       
28
       
28
       
 
       
  "base-unix"

     

       
29
       
29
       
-
       
  "cmdliner" {>= "1.1.1"}

     

       
29
       
29
       
+
       
  "cmdliner" {>= "1.1.1" & < "2.0.0"}

     

       
30
       
30
       
 
       
  "cmdliner" {with-test & >= "1.2.0" & < "1.3.0"}

     

       
31
       
31
       
 
       
  "rresult" {>= "0.7.0"}

     

       
32
       
32
       
 
       
  "result" {>= "1.5"}

     

···

       
33
       
33
       
 
       
  "cohttp-lwt-unix"

     

       
34
       
34
       
 
       
  "stringext"

     

       
35
       
35
       
 
       
  "lambda-term" {< "2.0"}

     

       
36
       
36
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
36
       
36
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
37
       
37
       
 
       
  "base-unix"

     

       
38
       
38
       
 
       
]

     

       
39
       
39
       
 
       
synopsis: "GitHub APIv3 OCaml Library"

     

···

       
27
       
27
       
 
       
  "cohttp-lwt-unix"

     

       
28
       
28
       
 
       
  "stringext"

     

       
29
       
29
       
 
       
  "lambda-term" {< "2.0"}

     

       
30
       
30
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
30
       
30
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
31
       
31
       
 
       
  "base-unix"

     

       
32
       
32
       
 
       
]

     

       
33
       
33
       
 
       
build: [

     

···

       
27
       
27
       
 
       
  "cohttp-lwt-unix"

     

       
28
       
28
       
 
       
  "stringext"

     

       
29
       
29
       
 
       
  "lambda-term" {>="2.0"}

     

       
30
       
30
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
30
       
30
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
31
       
31
       
 
       
  "base-unix"

     

       
32
       
32
       
 
       
]

     

       
33
       
33
       
 
       
build: [

     

···

       
34
       
34
       
 
       
  "cohttp-lwt-unix" {>= "0.99.0"}

     

       
35
       
35
       
 
       
  "stringext"

     

       
36
       
36
       
 
       
  "lambda-term" {>= "2.0"}

     

       
37
       
37
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
37
       
37
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
38
       
38
       
 
       
  "base-unix"

     

       
39
       
39
       
 
       
]

     

       
40
       
40
       
 
       
url {

     

···

       
34
       
34
       
 
       
  "cohttp-lwt-unix" {>= "0.99.0"}

     

       
35
       
35
       
 
       
  "stringext"

     

       
36
       
36
       
 
       
  "lambda-term" {>= "2.0"}

     

       
37
       
37
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
37
       
37
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
38
       
38
       
 
       
  "base-unix"

     

       
39
       
39
       
 
       
]

     

       
40
       
40
       
 
       
url {

     

···

       
34
       
34
       
 
       
  "cohttp-lwt-unix" {>= "0.99.0"}

     

       
35
       
35
       
 
       
  "stringext"

     

       
36
       
36
       
 
       
  "lambda-term" {>= "2.0"}

     

       
37
       
37
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
37
       
37
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
38
       
38
       
 
       
  "base-unix"

     

       
39
       
39
       
 
       
]

     

       
40
       
40
       
 
       
url {

     

···

       
33
       
33
       
 
       
  "cohttp" {>= "0.99.0"}

     

       
34
       
34
       
 
       
  "cohttp-lwt-unix" {>= "0.99.0"}

     

       
35
       
35
       
 
       
  "stringext"

     

       
36
       
36
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
36
       
36
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
37
       
37
       
 
       
  "base-unix"

     

       
38
       
38
       
 
       
]

     

       
39
       
39
       
 
       
url {

     

···

       
27
       
27
       
 
       
  "cohttp" {>= "4.0.0"}

     

       
28
       
28
       
 
       
  "cohttp-lwt-unix" {>= "4.0.0"}

     

       
29
       
29
       
 
       
  "stringext"

     

       
30
       
30
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
30
       
30
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
31
       
31
       
 
       
  "base-unix"

     

       
32
       
32
       
 
       
  "lwt"

     

       
33
       
33
       
 
       
  "odoc" {with-doc}

     

···

       
27
       
27
       
 
       
  "cohttp" {>= "4.0.0"}

     

       
28
       
28
       
 
       
  "cohttp-lwt-unix" {>= "4.0.0"}

     

       
29
       
29
       
 
       
  "stringext"

     

       
30
       
30
       
-
       
  "cmdliner" {>= "0.9.8"}

     

       
30
       
30
       
+
       
  "cmdliner" {>= "0.9.8" & < "2.0.0"}

     

       
31
       
31
       
 
       
  "base-unix"

     

       
32
       
32
       
 
       
  "lwt"

     

       
33
       
33
       
 
       
  "odoc" {with-doc}

     

···

       
21
       
21
       
 
       
  "ocaml" {>= "4.09"}

     

       
22
       
22
       
 
       
  "dune" {>= "2.4.0"}

     

       
23
       
23
       
 
       
  "menhir" {>= "20181006"}

     

       
24
       
24
       
-
       
  "cmdliner" {>= "1.0.0"}

     

       
24
       
24
       
+
       
  "cmdliner" {>= "1.0.0" & < "2.0.0"}

     

       
25
       
25
       
 
       
  "fmt" {>= "0.8.7"}

     

       
26
       
26
       
 
       
  "ocaml-compiler-libs" {>= "v0.12.0"}

     

       
27
       
27
       
 
       
  "ppxlib" {>= "0.23.0" & < "0.26.0"}

     

···

       
22
       
22
       
 
       
  "ocamlfind"

     

       
23
       
23
       
 
       
  "dune" {>= "3.0.0"}

     

       
24
       
24
       
 
       
  "menhir" {>= "20181006"}

     

       
25
       
25
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
25
       
25
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
26
       
26
       
 
       
  "fmt" {>= "0.8.7"}

     

       
27
       
27
       
 
       
  "ocaml-compiler-libs" {>= "v0.12.0"}

     

       
28
       
28
       
 
       
  "ppxlib" {>= "0.26.0" & < "0.36.0"}

     

···

       
38
       
38
       
 
       
  "dune" {>= "3.0.0"}

     

       
39
       
39
       
 
       
  "dune-build-info"

     

       
40
       
40
       
 
       
  "menhir" {>= "20181006"}

     

       
41
       
41
       
-
       
  "cmdliner" {>= "1.1.0"}

     

       
41
       
41
       
+
       
  "cmdliner" {>= "1.1.0" & < "2.0.0"}

     

       
42
       
42
       
 
       
  "fmt" {>= "0.8.7"}

     

       
43
       
43
       
 
       
  "ocaml-compiler-libs" {>= "v0.12.0"}

     

       
44
       
44
       
 
       
  "ppxlib" {>= "0.26.0" & < "0.36.0"}

     

···

       
14
       
14
       
 
       


     

       
15
       
15
       
 
       
depends: [

     

       
16
       
16
       
 
       
  "ocaml"

     

       
17
       
17
       
-
       
  "cmdliner"

     

       
17
       
17
       
+
       
  "cmdliner" {< "2.0.0"}

     

       
18
       
18
       
 
       
  "containers"

     

       
19
       
19
       
 
       
  "ocamlfind"

     

       
20
       
20
       
 
       
  "pds" {build & (>= "5" & < "6")}

     

···

       
8
       
8
       
 
       
  [make "PREFIX=%{prefix}%" "install"]

     

       
9
       
9
       
 
       
]

     

       
10
       
10
       
 
       
depends: [

     

       
11
       
11
       
-
       
  "cmdliner"

     

       
11
       
11
       
+
       
  "cmdliner" {< "2.0.0"}

     

       
12
       
12
       
 
       
  "containers"

     

       
13
       
13
       
 
       
  "ocamlfind"

     

       
14
       
14
       
 
       
  "pds" { build & (>= "5" & < "6") }

     

···

       
14
       
14
       
 
       
]

     

       
15
       
15
       
 
       


     

       
16
       
16
       
 
       
depends: [

     

       
17
       
17
       
-
       
	"cmdliner" { >= "1.3.0" }

     

       
17
       
17
       
+
       
	"cmdliner" {>= "1.3.0" & < "2.0.0"}

     

       
18
       
18
       
 
       
	"containers" { >= "3.12.0" }

     

       
19
       
19
       
 
       
	"ocaml" { >= "4.12.0" }

     

       
20
       
20
       
 
       
	"ocamlfind"

     

···

       
9
       
9
       
 
       
depends: [

     

       
10
       
10
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
11
       
11
       
 
       
  "dune" {>= "2.0.0"}

     

       
12
       
12
       
-
       
  "cmdliner"

     

       
12
       
12
       
+
       
  "cmdliner" {< "2.0.0"}

     

       
13
       
13
       
 
       
  "logs"

     

       
14
       
14
       
 
       
  "lwt"

     

       
15
       
15
       
 
       
  "rresult"

     

···

       
9
       
9
       
 
       
depends: [

     

       
10
       
10
       
 
       
  "ocaml" {>= "4.08.0"}

     

       
11
       
11
       
 
       
  "dune" {>= "2.0.0"}

     

       
12
       
12
       
-
       
  "cmdliner"

     

       
12
       
12
       
+
       
  "cmdliner" {< "2.0.0"}

     

       
13
       
13
       
 
       
  "logs"

     

       
14
       
14
       
 
       
  "lwt"

     

       
15
       
15
       
 
       
  "rresult"