-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 14 Oct 2015 10:10:04 +0200 Source: prooftree Binary: prooftree Architecture: source amd64 Version: 0.12-2 Distribution: unstable Urgency: low Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Stéphane Glondu <glondu@debian.org> Description: prooftree - proof-tree visualization for Proof General Changes: prooftree (0.12-2) unstable; urgency=low . [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 4.02 . [ Hendrik Tews ] * lintian canonical vcs Checksums-Sha1: a1dfdf2dea475ab66739c34676a5767f0316e768 2000 prooftree_0.12-2.dsc c420e4fa2d81b5e21e2c2c244c88b829badb8ac1 2964 prooftree_0.12-2.debian.tar.xz 46e92c0ba2b168c4584237011448fa6347e37df5 610112 prooftree_0.12-2_amd64.deb Checksums-Sha256: 4dce724c48f78ad566e31b2892967f781157d564356638a07cfed63b416892bf 2000 prooftree_0.12-2.dsc b064ce2b8b1d4c965d2ccb0831ce8f2884e00502e880f7703812294a66f3c094 2964 prooftree_0.12-2.debian.tar.xz abfd121ca4c7dc1945d81c7cc0526cab28f16b5f2b8944ce7917e1d4dd317ba2 610112 prooftree_0.12-2_amd64.deb Files: 95a637db646b1f0850b6e80b9609a15a 2000 science optional prooftree_0.12-2.dsc 7df1de10f306b4866829025439f91b86 2964 science optional prooftree_0.12-2.debian.tar.xz 4e7107d1acacf0a10fa4c625413569ab 610112 science optional prooftree_0.12-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJWHg8CAAoJEHhT2k1JiBrTfkoQALyaiuD09Z4LKSzjpaaWihd1 hrhK6Czvbd9/e+ViOKQUuLQchgvm26WRaWkjTpeEGFSPK3AM/ELZFlPQTVDNsm5g C+yVz3NPfSVs+eLff1aTTvD7EA0OdFq14BV/hNrPQIqP++sGhywGSPUCSqFwWIH7 PqlDVdM4qM0ZvfoX6CIVp7/mg4N2iqnek6tsMV5xaa4fUhm8HLR6zDWVhhGhq+/i eoukif8GmhAaP7fGi4i5F4bGemN5R3nHD1NCukaqgfGYMDniYr5Gj+6/J3/6X5jA Fpk6Uqnk8XNsIxNHhVpEhj0feXDz0gIU5e3EhgO2X3ervqip9H60d6GDwLZ0HR3x +McvH/hZ0RggWXwrTjYrzZp/RKS9p6jOxoUoCaDuEYjwTd/fmUWyfqvVfz7wBStq /DMLGVJiMBze7Ml5WtH9nJx+AU2wY60YSV2wU5rwkUdyccdFjPeO7Vg4N8o3kmPq OZGBzIwVqU2vLWuIXARkD64t5731/3wPz/vtMdtOgX3HDObFLX8WxdCaLbW9/TSf PRe18YKQfoN1Ah8gjRbABEM0DTheA4uNS0TPngrODbNSV2+yTOTY4c66sKpdZrIh zlOrtLrOaSgN1FNbTcGgg1Wad0TUgr0iF1mpHKr8m772dGdh7ey9rw0qZJgV2pqn FZxMd6QNg5Ns4lWGRJFd =JxXd -----END PGP SIGNATURE-----
