[ Source: prooftree ]
Package: prooftree (0.13-1build9) [universe]
Links for prooftree
Ubuntu Resources:
Download Source Package prooftree:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian OCaml Maintainers (Mail Archive)
- Hendrik Tews
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [askra.de]
Similar packages:
proof-tree visualization for Proof General
Other Packages Related to prooftree
|
|
|
|
-
- dep: coq (>= 8.4)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.29) [not riscv64]
- GNU C Library: Shared libraries
also a virtual package provided by libc6-udeb
-
- dep: libgdk-pixbuf2.0-0 (>= 2.22.0) [not riscv64]
- GDK Pixbuf library
-
- dep: libglib2.0-0 (>= 2.35.9) [not riscv64]
- GLib library of C routines
-
- dep: libgtk2.0-0 (>= 2.24.0) [not riscv64]
- GTK graphical user interface library - old version
-
- dep: liblablgtk2-ocaml-gt6o8 [riscv64]
- virtual package provided by liblablgtk2-ocaml
-
- dep: libpango-1.0-0 (>= 1.22.0) [not riscv64]
- Layout and rendering of internationalized text
-
- dep: ocaml-base-nox-4.08.1 [riscv64]
- virtual package provided by ocaml-base-nox
-
- dep: proofgeneral (>= 4.3~pre130510)
- generic frontend for proof assistants
Download prooftree
Architecture | Package Size | Installed Size | Files |
---|---|---|---|
amd64 | 1,041.3 kB | 5,068.0 kB | [list of files] |
arm64 | 1,246.9 kB | 6,072.0 kB | [list of files] |
ppc64el | 1,146.1 kB | 5,869.0 kB | [list of files] |
riscv64 | 976.3 kB | 3,940.0 kB | [list of files] |