[ubuntu/artful-proposed] hol-light 20170109-1build1 (Accepted)

[Dimitri John Ledkov]

hol-light (20170109-1build1) artful; urgency=high

  * No change rebuild against ocaml 4.04.

Date: Tue, 27 Jun 2017 13:37:40 +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/hol-light/20170109-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 27 Jun 2017 13:37:40 +0100
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170109-1build1
Distribution: artful
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20170109-1build1) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04.
Checksums-Sha1:
 62c6e4ddf42a711285a7bcdd739244149b6cb495 1787 hol-light_20170109-1build1.dsc
 3af040eb303aaa54d5f092d5a08f21db9787eeaa 9312 hol-light_20170109-1build1.debian.tar.xz
Checksums-Sha256:
 a9e4c9f295d52b50679701ddde7781dcc81e7735be1751e22e71c31bd7b35375 1787 hol-light_20170109-1build1.dsc
 c18062174a93a2419da332df051ab89cf7706f41cd1afe8f3665917a1cc5951d 9312 hol-light_20170109-1build1.debian.tar.xz
Files:
 7fe3a03ae305e66f7bb350f23e9cf974 1787 math extra hol-light_20170109-1build1.dsc
 671d55ff886e45f26eea49a722735717 9312 math extra hol-light_20170109-1build1.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEcBAEBCAAGBQJZUmmtAAoJEMrC2LnNLKX5CkcH/292vatdHw29KlnigyB/Ytq6
ZO/hWJMlHxA0qrDRhV4K0WZOrYKm8316QkeCNF8Tt7XxQGgZNAx8TMUGHearjlq4
ga0W7XPm9Qdq8grrwteidRBNkh+e9l+GuJCIwGdwH9zb9RB6Q8/309moJYQ7w+eW
2SniRtAXgBdJ/cFbMsKt/7JA4HdPpKo4FF4NAzjPtnRCzdYl8NMNnmupM0xqKdOY
xk/QGcuro0R6jxqcWf77I0AzG49vZhIWQYuU7UPD79+K6CKaobA6MsK72pTP2nws
5LdcvMH6ajR6VKSqR8uhEGhM2ErNjxkxWBHJ7v8qfr4hVGdz8/rRx2lh6e2bdbs=
=oxqc
-----END PGP SIGNATURE-----