Paketti: prooftree (0.13-2build4) [universe]

Links for prooftree

Ubuntu-palvelut:

• Vikailmoitukset
• Ubuntu-muutosloki
• Tekijänoikeustiedosto

Imuroi lähdekoodipaketti prooftree:

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

Ylläpitäjä:

• Ubuntu MOTU Developers (Mail Archive)

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:

• Kotisivu [askra.de]

Samankaltaisia paketteja:

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

Muut pakettiin prooftree liittyvät paketit

• 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

Imuroi prooftree