Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-1build10
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Uploaders:  Hendrik Tews <hendrik@askra.de>
Homepage: http://askra.de/software/prooftree
Standards-Version: 3.9.8
Vcs-Browser: https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git
Vcs-Git: https://anonscm.debian.org/cgit/pkg-ocaml-maint/packages/prooftree.git
Build-Depends: debhelper (>= 9.0.0), dh-ocaml (>= 0.9~), ocaml-best-compilers, liblablgtk2-ocaml-dev
Package-List:
 prooftree deb science optional arch=any
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
