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