anil.recoil.org / opam-repository
this repo has no description
fork atom

Merge pull request #24759 from ocaml/mseri-patch-4

pretter 3.0.0: updated qcheck lower bound

Marcello Seri d9b47f46 00f00166

options
unified split
Changed files
+2 -2
packages
pratter
pratter.3.0.0
opam
+2 -2
packages/pratter/pratter.3.0.0/opam 
···

       
18

       
18

       
 

       
  "dune" {>= "2.7"}


     

       
19

       
19

       
 

       
  "camlp-streams" {>= "5.0" & < "6"}


     

       
20

       
20

       
 

       
  "alcotest" {with-test >= "1.5.0" & < "2"}


     

       
21

       

       
-

       
  "qcheck" {with-test >= "0.9"}


     

       
22

       

       
-

       
  "qcheck-alcotest" {with-test >= "0.9"}


     

       

       
21

       
+

       
  "qcheck" {with-test >= "0.12"}


     

       

       
22

       
+

       
  "qcheck-alcotest" {with-test >= "0.12"}


     

       
23

       
23

       
 

       
  "odoc" {with-doc}


     

       
24

       
24

       
 

       
]


     

       
25

       
25

       
 

       
build: [