Back to prooftree PTS page

Accepted prooftree 0.13-1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 03 Jan 2017 16:29:09 +0100
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Hendrik Tews <hendrik@askra.de>
Description:
 prooftree  - proof-tree visualization for Proof General
Changes:
 prooftree (0.13-1) unstable; urgency=medium
 .
   * Imported Upstream version 0.13
   * delete patch 0001-Fix-compilation-with-OCaml-4.02 (problem fixed upstream)
   * push standards version to 3.9.8
   * fix some lintian warnings
Checksums-Sha1:
 469516f1cbf8f128801918fa9fa8eaaa0a498562 2022 prooftree_0.13-1.dsc
 7a594f25f09301fb8318c2b84dba515fd3f6ae60 113178 prooftree_0.13.orig.tar.gz
 1080c9f1dd19d813e08de05b261852c3cc9defd5 2364 prooftree_0.13-1.debian.tar.xz
Checksums-Sha256:
 55093c7d6811708b24dec0d3d6089d3b6d339fefbc8d1da18b531eb89bcca9cb 2022 prooftree_0.13-1.dsc
 b08949a7f6a1ea04f4f76c53f24c151ea803fc7309d525e0bcf771bc30273f7c 113178 prooftree_0.13.orig.tar.gz
 8b0c424711fd5efaa97b369a5931d713dda3ef457d91a1f132bb3c0ac102a2f4 2364 prooftree_0.13-1.debian.tar.xz
Files:
 6e5143901620aff2dd75438207cf36bd 2022 science optional prooftree_0.13-1.dsc
 c6a984cbdb0c631a2fceda2541df02b2 113178 science optional prooftree_0.13.orig.tar.gz
 bf5378bd2ce8a597475e7cd68ffb6c7e 2364 science optional prooftree_0.13-1.debian.tar.xz

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

iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAlh6aV0ACgkQdFxHZtTK
zf9QXw//YUrfq9QKZV6q9puxKtiSs8aT0bebZ+HQfH69i/kg0DJVOo+6eM0UmpJs
9Na33MckTHM2QjdYFZ/57zx1CEMo/aDMQh6OZSkjDmXvuXdBdAQG79f9uwOYt+fD
z3I7DCr3ZvHS7PVUKWmf15pe1sygCKRTaSfezX1z9tV1Eb2BrX89oNejo4988xx3
0+1FwBzi/L8da4xemnWvsopTT62Jac01syDDYiK1lWhzrtzDvMdndtSk7akoACu/
glyc43Gdp9QPXpugKYuKmiA+e4l/x8AM0Tef+cqP4vFPkjgUwFUOP1pRmuQJaQ4U
eHLFTjZieqcB6eVpKe9eGj0rlxm2WdNTo7CVQ7aUjbBExItLq/TewXsTHHf3I5o0
cwXPhlZgrG6poOPL0lRY0p3V9LHUfhgmZDx21MLZ1aC/iwKhWD8r2+NZ2sgJmUZn
b+ENx07uyBXvPc2nH45JdgZmtrmLpOdyIf9qeGjE9PE6HfNmbcP1MW7ItFnMkj4E
Poqn2vjsNS/S5Dgu+OsdF3untDPx6NJP/NlcwmMPwkbGGeTSLRs2wBAyRAOgS89+
kQNEuE6zr/bJpXI7aOpi4mbPKO6Of64FHRow2GLVA8okE9JtQAjPS+KcoFuhMdvW
jNad8gUSl7+X9B9RFkwq46vuIXhawDg7uJOJHXTrC/f3Z8FDlF8=
=RNiZ
-----END PGP SIGNATURE-----