···

       
8
       
8
       
 
       
doc: "http://sparrow.cs.umn.edu/adelfa/reference-guide.html"

     

       
9
       
9
       
 
       
bug-reports: "https://github.com/adelfa-prover/adelfa/issues"

     

       
10
       
10
       
 
       
depends: [

     

       
11
       
11
       
+
       
  "ocaml" {>= "4.12"}

     

       
11
       
12
       
 
       
  "dune" {>= "3.0"}

     

       
12
       
13
       
 
       
  "ounit2" {with-test}

     

       
13
       
14
       
 
       
  "odoc" {with-doc}