prooftree.opam

opam-version: "2.0"
name: "Prooftree"
version: "0.14"
synopsis: "Proof-tree visualization for Coq via Proof General"
description: """
Prooftree visualizes proof trees during proof development in Coq with
Proof General. Prooftree helps against getting lost between different
subgoals in interactive proof development. It clearly shows where the
current subgoal comes from and thus helps in developing the right plan
for solving it.
"""
maintainer: "Hendrik Tews <hendrik@askra.de>"
authors: "Hendrik Tews <hendrik@askra.de>"
license: "GPL-3.0-or-later"
homepage: "https://askra.de/software/prooftree/"
bug-reports: "https://github.com/hendriktews/proof-tree/issues"
dev-repo: "git+https://github.com/hendriktews/proof-tree.git"
depends: [ "ocaml" { >= "4.06" } ( "coq-core" { >= "8.17" } | "coq" { < "8.17" & >= "8.11" } ) "lablgtk" ]
build: [
  ["./configure" "--prefix" "%{prefix}%"]
  [make]
]
install: [make "install"]

url {
  src: "https://github.com/hendriktews/proof-tree/archive/refs/tags/v0.14.tar.gz"
  checksum: [
    "md5=37d1fd23a764191fa3595aca25242357"
    "sha512=a37176d11ed3babad9a67f18da1ba77a2177bceca536fba8b67a9410c1278ce43e85d120c53bd079c686f708257f7df4c309fe258b7b53f56430a4b0f0836965"
  ]
}