···

       
28
       
28
       
 
       
  "cmdliner" {>= "1.1.0"}

     

       
29
       
29
       
 
       
  "fmt"

     

       
30
       
30
       
 
       
  "ppxlib" {>= "0.26.0"}

     

       
31
       
31
       
-
       
  "gospel" {>= "0.2.0"}

     

       
31
       
31
       
+
       
  "gospel" {= "0.2.0"}

     

       
32
       
32
       
 
       
  "alcotest" {with-test & >= "0.8.1"}

     

       
33
       
33
       
 
       
  "ortac-runtime" {with-test & = version}

     

       
34
       
34
       
 
       
]

     

···

       
29
       
29
       
 
       
  "cmdliner" {>= "1.1.0"}

     

       
30
       
30
       
 
       
  "fmt"

     

       
31
       
31
       
 
       
  "ppxlib" {>= "0.26.0"}

     

       
32
       
32
       
-
       
  "gospel" {>= "0.3.0"}

     

       
32
       
32
       
+
       
  "gospel" {= "0.3.0"}

     

       
33
       
33
       
 
       
  "alcotest" {with-test & >= "0.8.1"}

     

       
34
       
34
       
 
       
  "ortac-runtime" {with-test & = version}

     

       
35
       
35
       
 
       
  "odoc" {with-doc}

     

···

       
25
       
25
       
 
       
  "fmt"

     

       
26
       
26
       
 
       
  "ppxlib" {>= "0.26.0"}

     

       
27
       
27
       
 
       
  "mdx" {with-test}

     

       
28
       
28
       
-
       
  "gospel" {>= "0.2.0"}

     

       
28
       
28
       
+
       
  "gospel" {= "0.2.0"}

     

       
29
       
29
       
 
       
  "qcheck-core" {with-test}

     

       
30
       
30
       
 
       
  "qcheck-stm" {with-test}

     

       
31
       
31
       
 
       
  "qcheck-multicoretests-util" {with-test}