[ubuntu/trusty-proposed] hol-light 20131026-1build1 (Accepted)

[Matthias Klose]

hol-light (20131026-1build1) trusty; urgency=medium

  * Rebuild for ocaml-4.01.

Date: Mon, 23 Dec 2013 16:16:11 +0000
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/hol-light/20131026-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 23 Dec 2013 16:16:11 +0000
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20131026-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: 
 hol-light  - HOL Light theorem prover
Changes: 
 hol-light (20131026-1build1) trusty; urgency=medium
 .
   * Rebuild for ocaml-4.01.
Checksums-Sha1: 
 77e7fda5434790eef125918517d1cc707f04906c 1421 hol-light_20131026-1build1.dsc
 0c0c9dbc6ef3058e5ba55629bd0b0e4b3e4b430d 8497 hol-light_20131026-1build1.debian.tar.gz
Checksums-Sha256: 
 9b2b1785b3769d505293b271234e06d4ddbeeb337958741088d9a14d64440142 1421 hol-light_20131026-1build1.dsc
 fe7bdf891fe013ba8aee08fa413abb74933027af6fc626804e1e1309840ed700 8497 hol-light_20131026-1build1.debian.tar.gz
Files: 
 ccc5d9285d310da40cae44538c3ecd91 1421 math extra hol-light_20131026-1build1.dsc
 229ac0f1fbe82fd46e38fd620aeecfb7 8497 math extra hol-light_20131026-1build1.debian.tar.gz

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

iEYEARECAAYFAlK4ZAgACgkQStlRaw+TLJwVUACfbPNZ/Gy8UQ4GYCN+1YW+YbQR
yNMAnizScxZGf024irgD2xcRHHEZ6Nrg
=Tt3V
-----END PGP SIGNATURE-----