[ubuntu/trusty-proposed] prooftree 0.12-1build1 (Accepted)

[Matthias Klose]

prooftree (0.12-1build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.

Date: Mon, 23 Dec 2013 22:40:50 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/trusty/+source/prooftree/0.12-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 23 Dec 2013 22:40:50 +0100
Source: prooftree
Binary: prooftree
Architecture: source
Version: 0.12-1build1
Distribution: trusty
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Description: 
 prooftree  - proof-tree visualization for Proof General
Changes: 
 prooftree (0.12-1build1) trusty; urgency=medium
 .
   * Rebuild for ocaml-4.01.
Checksums-Sha1: 
 67021f30579110ff360e78ceca6984bb92a682b9 1385 prooftree_0.12-1build1.dsc
 2328382cf81ed4ce03caf467fc48b83d216186e2 2206 prooftree_0.12-1build1.debian.tar.gz
Checksums-Sha256: 
 4621ff2eb95911d2a233da72b74d8e48d2ad6dbc68745efb23464b8269025c4e 1385 prooftree_0.12-1build1.dsc
 db996948b4e83fd7613b8206c23683f38562f68b651a753bc8b2528f88ba8c1a 2206 prooftree_0.12-1build1.debian.tar.gz
Files: 
 777370d44b4a5369507f58227798b83d 1385 science optional prooftree_0.12-1build1.dsc
 813316e69176fde57bd9a9cb4d1773bd 2206 science optional prooftree_0.12-1build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iEYEARECAAYFAlK4rhwACgkQStlRaw+TLJwQDQCffyRfBElUAFSngT68HjetZsHi
2WkAn3wnUSZRMe1RctWE37ABubz5eUpg
=ZYeI
-----END PGP SIGNATURE-----