パッケージ: prooftree (0.13-2build4) [universe]

prooftree に関するリンク

Ubuntu の資源:

• バグ報告
• Ubuntu での変更履歴
• 著作権ファイル

prooftree ソースパッケージをダウンロード:

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

メンテナ:

• Ubuntu MOTU Developers (メールアーカイブ)

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

Original Maintainers (usually from Debian):

• Debian OCaml Maintainers (メールアーカイブ)
• Hendrik Tews

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

外部の資源:

• ホームページ [askra.de]

類似のパッケージ:

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

その他の 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

prooftree のダウンロード