···

       
10
       
 
       
maintainer: "Hendrik Tews <hendrik@askra.de>"

     

       
11
       
 
       
authors: "Hendrik Tews <hendrik@askra.de>"

     

       
12
       
 
       
license: "GPL-3.0-or-later"

     

       
13
       
-
       
homepage: "http://askra.de/software/prooftree/"

     

       
14
       
-
       
bug-reports: "https://github.com/hendriktews/prooftree/issues"

     

       
15
       
-
       
dev-repo: "git+https://github.com/hendriktews/prooftree.git"

     

       
16
       
 
       
depends: [ "ocaml" { >= "4.06" } ( "coq-core" { >= "8.17" } | "coq" { < "8.17" & >= "8.11" } ) "lablgtk" ]

     

       
17
       
 
       
build: [

     

       
18
       
 
       
  ["./configure" "--prefix" "%{prefix}%"]

     

···

       
10
       
 
       
maintainer: "Hendrik Tews <hendrik@askra.de>"

     

       
11
       
 
       
authors: "Hendrik Tews <hendrik@askra.de>"

     

       
12
       
 
       
license: "GPL-3.0-or-later"

     

       
13
       
+
       
homepage: "https://askra.de/software/prooftree/"

     

       
14
       
+
       
bug-reports: "https://github.com/hendriktews/proof-tree/issues"

     

       
15
       
+
       
dev-repo: "git+https://github.com/hendriktews/proof-tree.git"

     

       
16
       
 
       
depends: [ "ocaml" { >= "4.06" } ( "coq-core" { >= "8.17" } | "coq" { < "8.17" & >= "8.11" } ) "lablgtk" ]

     

       
17
       
 
       
build: [

     

       
18
       
 
       
  ["./configure" "--prefix" "%{prefix}%"]