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

Odnośniki dla prooftree

Zasoby systemu Ubuntu:

• Raporty o błędach

Pobieranie pakietu źródłowego prooftree:

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

Opiekun:

• Ubuntu MOTU Developers (Archiwum e-mail)

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

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (Archiwum e-mail)
• Hendrik Tews

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

Zasoby zewnętrzne:

• Strona internetowa [askra.de]

Podobne pakiety:

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

Inne pakiety związane z prooftree

• 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

Pobieranie prooftree