this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Proof-tree visualization for Coq via Proof General"
3description: """
4Prooftree visualizes proof trees during proof development in Coq with
5Proof General. Prooftree helps against getting lost between different
6subgoals in interactive proof development. It clearly shows where the
7current subgoal comes from and thus helps in developing the right plan
8for solving it.
9"""
10maintainer: "Hendrik Tews <hendrik@askra.de>"
11authors: "Hendrik Tews <hendrik@askra.de>"
12license: "GPL-3.0-or-later"
13homepage: "https://askra.de/software/prooftree/"
14bug-reports: "https://github.com/hendriktews/proof-tree/issues"
15dev-repo: "git+https://github.com/hendriktews/proof-tree.git"
16depends: [ "ocaml" { >= "4.06" } ( "coq-core" { >= "8.17" } | "coq" { < "8.17" & >= "8.11" } ) "lablgtk" ]
17build: [
18 ["./configure" "--prefix" "%{prefix}%"]
19 [make]
20]
21install: [make "install"]
22
23url {
24 src: "https://github.com/hendriktews/proof-tree/archive/refs/tags/v0.14.tar.gz"
25 checksum: [
26 "md5=37d1fd23a764191fa3595aca25242357"
27 "sha512=a37176d11ed3babad9a67f18da1ba77a2177bceca536fba8b67a9410c1278ce43e85d120c53bd079c686f708257f7df4c309fe258b7b53f56430a4b0f0836965"
28 ]
29}