Artifact prooftree_0.13-2

dsc_fields:
  Architecture: any
  Binary: prooftree
  Build-Depends: debhelper (>= 9.0.0), dh-ocaml (>= 0.9~), coq, ocaml-best-compilers,
    liblablgtk2-ocaml-dev
  Checksums-Sha1:
  - name: prooftree_0.13.orig.tar.gz
    sha1: 7a594f25f09301fb8318c2b84dba515fd3f6ae60
    size: '113178'
  - name: prooftree_0.13-2.debian.tar.xz
    sha1: 008ba591d7425e40a17b2c93be1dee9d46bfe528
    size: '2464'
  Checksums-Sha256:
  - name: prooftree_0.13.orig.tar.gz
    sha256: b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c
    size: '113178'
  - name: prooftree_0.13-2.debian.tar.xz
    sha256: fa84356b16d6388816e42d6c7b3f909739cbbea23eb360f12ba9c5cdf5c35d1c
    size: '2464'
  Files:
  - md5sum: c6a984cbdb0c631a2fceda2541df02b2
    name: prooftree_0.13.orig.tar.gz
    size: '113178'
  - md5sum: 180dd0d00a17cd94eb640365893c9ac9
    name: prooftree_0.13-2.debian.tar.xz
    size: '2464'
  Format: 3.0 (quilt)
  Homepage: http://askra.de/software/prooftree
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package-List: |2-

     prooftree deb science optional arch=any
  Source: prooftree
  Standards-Version: 3.9.8
  Uploaders: Hendrik Tews <hendrik@askra.de>
  Vcs-Browser: https://salsa.debian.org/ocaml-team/prooftree
  Vcs-Git: https://salsa.debian.org/ocaml-team/prooftree.git
  Version: 0.13-2
name: prooftree
type: dpkg
version: 0.13-2