-----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-----
