[ubuntu/artful-proposed] hol-light 20170706-0ubuntu2 (Accepted)

[Dimitri John Ledkov]

hol-light (20170706-0ubuntu2) artful; urgency=high

  * No change rebuild against camlp5.

Date: Tue, 25 Jul 2017 11:20:05 +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/20170706-0ubuntu2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 25 Jul 2017 11:20:05 +0100
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170706-0ubuntu2
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 (20170706-0ubuntu2) artful; urgency=high
 .
   * No change rebuild against camlp5.
Checksums-Sha1:
 d60eea600ccea27805f8259668c460584c4e2e7c 1791 hol-light_20170706-0ubuntu2.dsc
 1999b6dbb647daf3579ed125c41658b3f38bacee 9364 hol-light_20170706-0ubuntu2.debian.tar.xz
Checksums-Sha256:
 93be59dff2b030494d1df64a8689f0c59b7adc9c31b8b19421b72265e370175b 1791 hol-light_20170706-0ubuntu2.dsc
 55f64de082889fae32c3a30cde323984d472e454e92f652bf6ca00de1546d795 9364 hol-light_20170706-0ubuntu2.debian.tar.xz
Files:
 865e45cb1654f3724e4a0ac4448ba742 1791 math extra hol-light_20170706-0ubuntu2.dsc
 47c75a975187a121060891f8f5c70ee7 9364 math extra hol-light_20170706-0ubuntu2.debian.tar.xz
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQEcBAEBCAAGBQJZdxtlAAoJEMrC2LnNLKX54HwIAIy8ZEZ6ju6XK1lvdBLG8fEc
Hvomb8PH9/iMS207WwnIIwWXRdHT+4JtxnsbCKv0KFZhyi2Po+JLr4ePT0rSMJ3u
uYSA2HRxncXtdz0AI0CrlV9BI/xM1PFrl3aTJgnG0pUTHMTSVpTChqx3MUdW9EJf
EoKtZWu3qRhouuyrlI4dD28c05M8HO3nb6se0NeFoZmHrRZqDp3SpncWU2k5M4wM
TorpW1NPwI44TnzEleOy8wjZc8ALCrgDrREMa5YpGZMtiCp/P+iucOkdObbAmbs3
1Ocq8Qg5w6f3jzzKjp/TVCm2l+34vvSknmQvIAoxLhKBDyWTIwh1rlVNHWjOycQ=
=remd
-----END PGP SIGNATURE-----