Accepted prooftree 0.12-2 (source amd64) into unstable
-----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-----