Pakket: prooftree (0.13-2build4) [ports] [universe]

Verwijzigingen voor prooftree

Ubuntu bronnen:

• Probleemrapporten

Het bronpakket prooftree downloaden:

• [prooftree_0.13-2build4.dsc]
• [prooftree_0.13.orig.tar.gz]
• [prooftree_0.13-2build4.debian.tar.xz]

Beheerder:

• Ubuntu MOTU Developers (Mailarchief)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (Mailarchief)
• Hendrik Tews

It should generally not be necessary for users to contact the original maintainer.

Externe bronnen:

• Homepage [askra.de]

Vergelijkbare pakketten:

• minlog
• libequihash0
• libequihash-bin
• libequihash-dev
• paje.app
• proofgeneral
• proofgeneral-doc
• libvisual-0.4-0
• glueviz
• ruby-rubyvis
• garlic

Andere aan prooftree gerelateerde pakketten

• dep: coq (>= 8.4)

  proof assistant for higher-order logic (toplevel and compiler)

• dep: libc6 (>= 2.34)

  GNU C Library: Shared libraries

• dep: libgdk-pixbuf-2.0-0 (>= 2.22.0)

  GDK Pixbuf library

• dep: libglib2.0-0 (>= 2.35.9)

  GLib library of C routines

• dep: libgtk2.0-0 (>= 2.24.0)

  GTK graphical user interface library - old version

• dep: libpango-1.0-0 (>= 1.22.0)

  Layout and rendering of internationalized text

• dep: proofgeneral (>= 4.3~pre130510)

  generic frontend for proof assistants

prooftree downloaden