···

       
10
       
10
       
 
       
  "dune"

     

       
11
       
11
       
 
       
  "base-bytes"

     

       
12
       
12
       
 
       
  "base-unix"

     

       
13
       
13
       
-
       
  "qcheck-core" {>= "0.9" & < "0.15"}

     

       
13
       
13
       
+
       
  "qcheck-core" {= version}

     

       
14
       
14
       
 
       
  "alcotest"

     

       
15
       
15
       
 
       
  "odoc" {with-doc}

     

       
16
       
16
       
 
       
  "ocaml" {>= "4.03.0"}

     

···

       
10
       
10
       
 
       
  "dune"

     

       
11
       
11
       
 
       
  "base-bytes"

     

       
12
       
12
       
 
       
  "base-unix"

     

       
13
       
13
       
-
       
  "qcheck-core" {>= "0.9" & < "0.15"}

     

       
13
       
13
       
+
       
  "qcheck-core" {= version}

     

       
14
       
14
       
 
       
  "ounit" {>= "2.0"}

     

       
15
       
15
       
 
       
  "odoc" {with-doc}

     

       
16
       
16
       
 
       
  "ocaml" {>= "4.03.0"}

     

···

       
10
       
10
       
 
       
  "dune"

     

       
11
       
11
       
 
       
  "base-bytes"

     

       
12
       
12
       
 
       
  "base-unix"

     

       
13
       
13
       
-
       
  "qcheck-core" {>= "0.9"}

     

       
14
       
14
       
-
       
  "qcheck-ounit" {>= "0.9"}

     

       
13
       
13
       
+
       
  "qcheck-core" {= version}

     

       
14
       
14
       
+
       
  "qcheck-ounit" {= version}

     

       
15
       
15
       
 
       
  "odoc" {with-doc}

     

       
16
       
16
       
 
       
  "ocaml" {>= "4.03.0"}

     

       
17
       
17
       
 
       
]

     
···

       
30
       
30
       
 
       
    "md5=de3599bfa7ad2a4981c289affeb9bf6e"

     

       
31
       
31
       
 
       
    "sha512=250d7934012455d29d95b710f5b42bbe3ea42e6ec1b5781dba807781ac9d5a66ca39dc4535667fd9b00bfcc566e11dbdb3f7306dde1d8f0e9f90d1447cdc4d97"

     

       
32
       
32
       
 
       
  ]

     

       
33
       
33
       
-
       
}
     

       
33
       
33
       
+
       
}