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

cfml.20211215 is not compatible with pprint.20220103 (uses PPrintEngine and PPrintEngine.document <> PPrint.document)

Kate 4bed1bda 9f291e76

options
unified split
Changed files
+1 -1
packages
cfml
cfml.20211215
opam
+1 -1
packages/cfml/cfml.20211215/opam 
···

       
14

       
14

       
 

       
  "ocaml" {>= "4.08.0"}


     

       
15

       
15

       
 

       
  "dune" { >= "2.0.0"}


     

       
16

       
16

       
 

       
  "menhir" { >= "20201216" }


     

       
17

       

       
-

       
  "pprint" { >= "20200410" }


     

       

       
17

       
+

       
  "pprint" { >= "20200410" & < "20220103"}


     

       
18

       
18

       
 

       
]


     

       
19

       
19

       
 

       
available: arch != "x86_32" & arch != "arm32"


     

       
20

       
20

       
 

       
synopsis: "The CFML program verification tool"