[  etiona  ] [  nabia  ] [  aramo  ]

Verwijzigingen voor prooftree

Trisquel bronnen:

• Probleemrapporten
• Changelog
• Copyright-bestand
• Debian Source Repository (Git)

Beheerder:

• Ubuntu Developers (Mailarchief)

Original Maintainers:

• Debian OCaml Maintainers (Mailarchief)
• Hendrik Tews

Externe bronnen:

• Homepage [askra.de]

De volgende binaire pakketten worden van dit bronpakket gebouwd:

prooftree

proof-tree visualization for Proof General

Andere aan prooftree gerelateerde pakketten

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: ocaml-best-compilers

  Pakket niet beschikbaar

• adep: liblablgtk2-ocaml-dev

  OCaml bindings to Gtk+ version 2

Download prooftree

Bestand	Grootte (in kB)	MD5 checksum
prooftree_0.13-1build3.dsc	2,0 kB	7b2e4164dc12ea877610485d2bbf821d
prooftree_0.13.orig.tar.gz	110,5 kB	c6a984cbdb0c631a2fceda2541df02b2
prooftree_0.13-1build3.debian.tar.xz	2,5 kB	cf4fb6abe7eb31e7ec23badb32f4b68b

Debian Package Source Repository (VCS: Git)

https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/prooftree.git

Debian Package Source Repository (Browsable)

https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git