[ubuntu/bionic-proposed] hol-light 20170706-0ubuntu4 (Accepted)

[Gianfranco Costamagna]

hol-light (20170706-0ubuntu4) bionic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 27 Oct 2017 21:57:06 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/hol-light/20170706-0ubuntu4
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 27 Oct 2017 21:57:06 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170706-0ubuntu4
Distribution: bionic
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20170706-0ubuntu4) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 912be4d5d000566fd410ce8bf199e310191e2644 2118 hol-light_20170706-0ubuntu4.dsc
 1f514388dccd12913f5bdc9aebe2081ef4854a9a 9748 hol-light_20170706-0ubuntu4.debian.tar.xz
 cec71e7da14923d496d1adfec0d771183ac8bf83 6558 hol-light_20170706-0ubuntu4_source.buildinfo
Checksums-Sha256:
 d622f7896645cf93e65f8ea0ae0098834dcdd9cd7fde2733f8def1b8f06ff836 2118 hol-light_20170706-0ubuntu4.dsc
 c535d398e6cc5bab57279a7c62017d476026e2c4a03f85bd9f21bddc37835b6f 9748 hol-light_20170706-0ubuntu4.debian.tar.xz
 c14006afaf9e2a69661a427f7528cfe7569518ea165963ab36c37b1c7b5d03e1 6558 hol-light_20170706-0ubuntu4_source.buildinfo
Files:
 cb86a8ad435a1ac654eee335c156664d 2118 math extra hol-light_20170706-0ubuntu4.dsc
 7c8d29bc4ff1c3b67531c8f6c945cb3e 9748 math extra hol-light_20170706-0ubuntu4.debian.tar.xz
 c2ca86eb41dd197b86a07ce4acbe343b 6558 math extra hol-light_20170706-0ubuntu4_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

-----BEGIN PGP SIGNATURE-----

iQIcBAEBCAAGBQJZ84+YAAoJEPNPCXROn13ZxdUP/3n8Un/W0VUVh8aFpnLKG6zi
gCelqJD2d//lzjyjN6MMMJMky/VbdQ3InXjEJr0aD25oaZcNpbzZWPcoZwBw6aiR
uMuU3AOw/2XKLfU35ZVSpCa8Th+odaJf8nKTa+SFe/vO/QLQhlNZjVPeEgFmZSw5
5UwB91ceyw03kWZ7Tq8j8BgPQrn2KMcqhhiTGqBM/bJlWTqqTGo4q1V2bxW0PxIH
JV10aAlkQkm8YtElm8SHnf8+wESh9sL+kHROyKI8bQGB8apj5FdkyEFkGFj+PK2r
U2OtcVN/2K7N5aViTAxfvrCUIAo/xZgUJ1knTnX083ypGuJBIpxPvaPMm6W/z4ID
ncamUyApmNCtqkAhENzQQiK7/jyH4FXJG6s/9262GOdw84PwmBDHdNKQvjk25AMH
u7PkMQsVHc+TkzjPPzZplRyvbLzGAvSMLNY1l3uOWSYzQylHC6q4JqkxrrWGVTK9
FdSmtPDV1I48yjKwj22U7Rpx5DuZsTnmFOKNtug/0rV8ozojpZGbKyY5VbEVkMyv
5Uk5QlY9kwvShKFAmYu5zljr63o5+rBJSdv5u+bD2WtXYjT+JYvUJMQng6cpy87w
wtyiWchaByzXWlbzZvhXnkpSSo9ToXOEUbn4/uOzqG9J5zUjr67+V+S6MofLNmdV
N3sX7HO5FfeGeqDRUJuq
=a7OB
-----END PGP SIGNATURE-----