this repo has no description
Package prooftree.0.14
+29
+29
packages/prooftree/prooftree.0.14/opam
+29
packages/prooftree/prooftree.0.14/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Proof-tree visualization for Coq via Proof General"
3
+
description: """
4
+
Prooftree visualizes proof trees during proof development in Coq with
5
+
Proof General. Prooftree helps against getting lost between different
6
+
subgoals in interactive proof development. It clearly shows where the
7
+
current subgoal comes from and thus helps in developing the right plan
8
+
for solving it.
9
+
"""
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}%"]
19
+
[make]
20
+
]
21
+
install: [make "install"]
22
+
23
+
url {
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
+
}