···

       
12
       
12
       
 
       
]

     

       
13
       
13
       
 
       
depends: [

     

       
14
       
14
       
 
       
  "dune" {>= "2.8"}

     

       
15
       
15
       
-
       
  "qcheck" {>= "0.17"}

     

       
15
       
15
       
+
       
  "qcheck" {with-test & >= "0.17"}

     

       
16
       
16
       
 
       
]

     

       
17
       
17
       
 
       
url {

     

       
18
       
18
       
 
       
  src: "https://github.com/soren-n/cps-toolbox/archive/0.2.tar.gz"