1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
Source: prooftree
Section: science
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
Hendrik Tews <hendrik@askra.de>
Build-Depends:
debhelper (>= 9.0.0),
dh-ocaml (>= 0.9~),
ocaml-best-compilers,
liblablgtk2-ocaml-dev
Standards-Version: 3.9.8
Homepage: http://askra.de/software/prooftree
Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/prooftree.git
Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git
Package: prooftree
Architecture: any
Depends:
proofgeneral (>= 4.3~pre130510),
coq (>= 8.4),
${ocaml:Depends},
${shlibs:Depends},
${misc:Depends}
Description: proof-tree visualization for Proof General
Prooftree draws proof trees during interactive proof development
with Proof General. One can inspect goals and proof commands
and check where existential variables were introduced and
instantiated. Currently, Prooftree does only work for Coq.
|
