···

       
4
       
4
       
 
       
maintainer: ["Chase Johnson <joh13266@umn.edu>"]

     

       
5
       
5
       
 
       
authors: ["Mary Southern" "Chase Johnson <joh13266@umn.edu>"]

     

       
6
       
6
       
 
       
license: "GPL-3.0-only"

     

       
7
       
7
       
-
       
homepage: "http://sparrow.cs.umn.edu/adelfa/index.html"

     

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

     

       
7
       
7
       
+
       
homepage: "https://adelfa-prover.org/"

     

       
8
       
8
       
+
       
doc: "https://adelfa-prover.org/reference-guide"

     

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

     

       
10
       
10
       
 
       
depends: [

     

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