-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: prooftree
Binary: prooftree
Architecture: any
Version: 0.13-3
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Homepage: https://askra.de/software/prooftree
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/ocaml-team/prooftree
Vcs-Git: https://salsa.debian.org/ocaml-team/prooftree.git
Build-Depends: debhelper-compat (= 13), dh-ocaml, coq, ocaml-best-compilers, liblablgtk2-ocaml-dev
Package-List:
 prooftree deb science optional arch=any
Checksums-Sha1:
 7a594f25f09301fb8318c2b84dba515fd3f6ae60 113178 prooftree_0.13.orig.tar.gz
 82b230ba79f9574e0cf2e4fd002a7fee6d70c302 2440 prooftree_0.13-3.debian.tar.xz
Checksums-Sha256:
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 ed6905ac127a7a2b0a000466ff3c14beffb81e2465ce337acc9f6ac54fa24d2b 2440 prooftree_0.13-3.debian.tar.xz
Files:
 c6a984cbdb0c631a2fceda2541df02b2 113178 prooftree_0.13.orig.tar.gz
 cf559be2536e8542bf2cdc847d65f9e9 2440 prooftree_0.13-3.debian.tar.xz
Dgit: d53527e2d2244559eba156e5ec09ce40771c1ab7 debian archive/debian/0.13-3 https://git.dgit.debian.org/prooftree

-----BEGIN PGP SIGNATURE-----

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmTeIKISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBYyAH/A6zGvJ/nB1zEC7KKWjZkneJLUrX7Q/e
KuVOFUzYWHK31VECZRomB0e4RdQ3QNWiw/V5UchF7NYHBclIEtTmroI8ZVWI/10W
D6iz7mt788y2dvKGWeQzxbrwUsKCg3e3pPp95YFl3WPRHYfov2ihA982v/O4hfin
feFb2TmvGXzD3Tcjwt+7XHvACfGQdDUBoj3HJ8QIiPtwdZvxKQZlrkFdtEKgPyaI
r6ViJAT+kKBYHJRmJINCnAIOSIPbXMGCoZYTdsAO5LqVJ5OFjJjyJLP129Ps4lu3
tsCbpaB8lHaHMwefmpFiQqS1ap6iLtQAjPQ0p5jSNLXb54IU36ZdHnc=
=Cwup
-----END PGP SIGNATURE-----