Accepted prooftree 0.13-2 (source) into unstable
-----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
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
prooftree - proof-tree visualization for Proof General
Closes: 956674
Changes:
prooftree (0.13-2) unstable; 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:
ad130d5fd7b90c035f5135fbf17408127fd6f30c 1976 prooftree_0.13-2.dsc
008ba591d7425e40a17b2c93be1dee9d46bfe528 2464 prooftree_0.13-2.debian.tar.xz
757808adef1833e171b905dd019fbacc721f98bf 14260 prooftree_0.13-2_source.buildinfo
Checksums-Sha256:
2f666cb9fc165b5365425fdbc4a4e8f5751681df9360305e38acde7d0610390d 1976 prooftree_0.13-2.dsc
fa84356b16d6388816e42d6c7b3f909739cbbea23eb360f12ba9c5cdf5c35d1c 2464 prooftree_0.13-2.debian.tar.xz
9f5aa539cd778a9bf136fa530382c32426801114e7dd1c404537d9c007a41dc1 14260 prooftree_0.13-2_source.buildinfo
Files:
d95c1cf644c9cc7c16f8fa08d7e40584 1976 science optional prooftree_0.13-2.dsc
180dd0d00a17cd94eb640365893c9ac9 2464 science optional prooftree_0.13-2.debian.tar.xz
34a12bc69dedd4a57cd3afd57869ee66 14260 science optional prooftree_0.13-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl679sAACgkQ808JdE6f
XdmTshAAvvb64K9+UyuS0aAuyQmsBzpoVPcPMnbBUgbfk6VFkofz52YQ/0S7Z0Zp
Uwxe3Y3q05m9NNMImdFqwylNa565tK7kFF0Za1q+gwgkR+akUKLiVWhLiECHRQSd
nbeluIGY+DC8UBzIziQm/cJ7Svm+441XxvIvwLbG3a0FsJUtYJ7JURm6amSAeQEV
6ob0aZLrg/ndXTyrw6ZnNED5dIvrsWcCQs2QexH8L0MTjP1NaLVybrg/eWKi8gWl
EmBzjustfzeMcnc9ogwszH5IS3nbD/MOQXORqoBXA5YTr5tVr/2lKcgqHRkN8+7S
heGOemeXN85IVnnHwBAwDCiDdJf8V/Q7olMS+QqcApkOfM6zKt/VAE7XdcpV0FL7
+4SGSp2gjWVudUzY96ZY2kOgV2rjTxiloN6zv1k1wNIg5EQFGFpyLgOzLx6j1gEi
pBb4/3Mmjj0+CQ6NfaTixjTe4mZ4W5rnvYx7TyNpYwPQGMoY/xgySO0kzGahhtDV
x5ocC9qwsYInhIQd/GdPuFcZTIEhRZFvqYKY36mwEJiTV9S2gQIVMNxVZLNaujs2
LjEhanskdAW4TWuDncDtOsKhX0SWLWjUpKQivkzowt9l7Stv/GpRfnyLn5QPPUUb
zcbOXwN9G8zzSutCkamkBQPRjfVsPp+8tSV49S5B6uHOM+HLiF8=
=mKZJ
-----END PGP SIGNATURE-----