[ubuntu/artful-proposed] prooftree 0.13-1build2 (Accepted)

[Dimitri John Ledkov]

prooftree (0.13-1build2) artful; urgency=high

  * No change rebuild against new findlib.

Date: Thu, 27 Jul 2017 09:44:58 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/prooftree/0.13-1build2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 27 Jul 2017 09:44:58 +0100
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.13-1build2
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 prooftree  - proof-tree visualization for Proof General
Changes:
 prooftree (0.13-1build2) artful; urgency=high
 .
   * No change rebuild against new findlib.
Checksums-Sha1:
 7d2aca2cad60622777c4ff75586a8f4bdb4810d6 1765 prooftree_0.13-1build2.dsc
 ff1b149144afffb416196f906fd0bfe7862031aa 2516 prooftree_0.13-1build2.debian.tar.xz
Checksums-Sha256:
 6a8abc5d52d21e0052896a7ed59e42dbc08c393e7d34ac70283ab1e68dc7efec 1765 prooftree_0.13-1build2.dsc
 3f439c46b90ed268b3396fcdf63f4ac61bf842bfc4ff33d06fba99291f0bc081 2516 prooftree_0.13-1build2.debian.tar.xz
Files:
 fec975a61f83d4a868dae9e34a5f8cbc 1765 science optional prooftree_0.13-1build2.dsc
 d3d9078d4a541c08694246dfd3cabcad 2516 science optional prooftree_0.13-1build2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZeaghAAoJEMrC2LnNLKX5GhUH/RgNx3Qt01ZAPFif+GjUOTam
w/HdoegeDk8Ac8De8q+ZmOqgWgLQFGsQmRUGxXo0tVEzoDdGccE4t8S+62iaIWEV
XtriivCwBvJP9s3M7d/S2zQ4tebjPsjCY3i/O7AHGVtMqh+LLqJ5rYECkDoxo7fL
bJG9cu7jY3l4hLp3RAdUUXwlyMiPy3sXNk9Lk3w8fzOyQP8XiPQw9YVhNS+S7ITb
b5yfw32D6MW/4homDr4E8lYnMEcuTJJi2qeOZcLVa83M2cgexmjQgqJRDyHTzPvK
MIamT6CRhugpd5ZI1EX65biGFvmz7/OAOi5xzVo4EykTQV77E8POsa8OyI4v6RE=
=Ia4P
-----END PGP SIGNATURE-----