[ubuntu/groovy-proposed] prooftree 0.13-2~build1 (Accepted)

[Gianfranco Costamagna]

prooftree (0.13-2~build1) groovy; urgency=medium

  [ Stephane Glondu ]
  * Update Vcs-*

  [ Gianfranco Costamagna ]
  * Team upload
  * Build-depend on coq to avoid it being uninstallable
    where coq is not built (Closes: #956674)

Date: Wed, 13 May 2020 15:30:43 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/prooftree/0.13-2~build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Wed, 13 May 2020 15:30:43 +0200
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-2~build1
Distribution: groovy
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 prooftree  - proof-tree visualization for Proof General
Closes: 956674
Changes:
 prooftree (0.13-2~build1) groovy; urgency=medium
 .
   [ Stephane Glondu ]
   * Update Vcs-*
 .
   [ Gianfranco Costamagna ]
   * Team upload
   * Build-depend on coq to avoid it being uninstallable
     where coq is not built (Closes: #956674)
Checksums-Sha1:
 ce5232c4cc06f0737a1bcdc83a415328a27bc1d7 2004 prooftree_0.13-2~build1.dsc
 bf5dea5d1826b39c9c297ea51f6be38788b6b15e 2476 prooftree_0.13-2~build1.debian.tar.xz
 e9af4004bb4a1d842308a3654a6929d6f1beb0d2 14288 prooftree_0.13-2~build1_source.buildinfo
Checksums-Sha256:
 43de29499d29d8df041a3bc846269657e4a5d8e595ad697ed006c201b7c44113 2004 prooftree_0.13-2~build1.dsc
 a9f291633be3d67a74932856b1befb47b20dd593cf049f322296b24db056261a 2476 prooftree_0.13-2~build1.debian.tar.xz
 8ca6f7e55c2336c12e9ce8078b7178c9354e8741bd92de96d06ae966f5e26fb3 14288 prooftree_0.13-2~build1_source.buildinfo
Files:
 a64041e86c4b9d2e10333d6bb2447b42 2004 science optional prooftree_0.13-2~build1.dsc
 57fc27bf9c3623b527f460001c4b4cd5 2476 science optional prooftree_0.13-2~build1.debian.tar.xz
 37d136ce48d7d317b51e4bece7bd351e 14288 science optional prooftree_0.13-2~build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl679qQACgkQ808JdE6f
XdkPQg/9E1bazgdx/tE322/mVkFRTfOUeGLAk5551guFpwg+09f19PfBVBZxCCST
1GfLTg68d/5Z4EN+pzbh6qzf4u5c+QKmTlOZobSETjKhVBUmtmfTP1ZKqShVGye/
gswAyXErBRpT9gQMhOBCuGMHcNmvMnTlF6keN4goOp82oiIS2e4SwWN+70yH62zp
NPi1moJwSV+FOtB2CV2/Toudem7rmPMWWx0tHyi9Y+L/i/L1qIdE3SXYf/dkZCrT
w9y4T+lrJA/FuNvTHU+EIgYbd+EB8GP/eDphmy4GBq8PofiGQH3GZEtISuhb4BvB
PuiWifZrJGonUrIIndUFHd3X/d5Vk2jvq1qqWBUADOGLSBD9u2vu6A+SOA6DDR4w
8vYsZvRI9qyet1xcF4aKF4+QgyYPVeeLIOK66vt7oUozat7mJF3mi+dosHdDnT/J
5DxbJ/CBnOvfu57vyJqV7108PHylPiVvuF1ybC3X8mxYljKxKS3B73rlUi9bny1i
pYbQe0qA0dMXl0QVPp8+YC9F9UcL5htnrDC6ab1kVUUFDmxvtjE55owCtRACaB6X
1TKbXj/DEoFjyNUOZcTr8oKq9zk0YDg6E6fF86Ev1jqFkQfg1QMRJ5tvHzHbWKln
Zz+NRPD4DmgqxLt3El08nas2UY7R36MrpAczewo8gk6THS9HMdU=
=0lC4
-----END PGP SIGNATURE-----