[  etiona  ] [  nabia  ] [  aramo  ]

Odkazy pre prooftree

Zdroje Trisquel:

• Hlásenia chýb
• Changelog
• Autori a licencia
• Zdrojové úložisko Debianu (Git)

Správca:

• Debian OCaml Maintainers (Konferencia)

Original Maintainers:

• Debian OCaml Maintainers (Konferencia)
• Hendrik Tews

Externé zdroje:

• Domovská stránka [askra.de]

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

prooftree

proof-tree visualization for Proof General

Ostatné balíky súvisiace s balíkom prooftree

build-depends

build-depends-indep

• adep: debhelper (>= 9.0.0)

  helper programs for debian/rules

• adep: dh-ocaml (>= 0.9~)

  helper tools for maintaining OCaml-related Debian packages

• adep: coq

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

• adep: ocaml-best-compilers

  Balík nie je dostupný

• adep: liblablgtk2-ocaml-dev

  OCaml bindings to Gtk+ version 2

Download prooftree

Súbor	Veľkosť (v kB)	kontrolný súčet MD5
prooftree_0.13-2build4.dsc	2.0 kB	0f1fce1ebef032c4fc322a754301ea33
prooftree_0.13.orig.tar.gz	110.5 kB	c6a984cbdb0c631a2fceda2541df02b2
prooftree_0.13-2build4.debian.tar.xz	2.6 kB	ba8e6e42f91c5cf50282f560fceb486e

Úložisko zdrojových balíkov Debianu (VCS: Git)

https://salsa.debian.org/ocaml-team/prooftree.git

Úložisko zdrojových balíkov Debianu (možno prezerať)

https://salsa.debian.org/ocaml-team/prooftree