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