[ubuntu/eoan-proposed] hol-light 20190729-2build1 (Accepted)

[Gianfranco Costamagna]

hol-light (20190729-2build1) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Aug 2019 08:27:03 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/hol-light/20190729-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 05 Aug 2019 08:27:03 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20190729-2build1
Distribution: eoan
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (20190729-2build1) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 acf7efce098e89d508f2a2e9079826d881638273 2023 hol-light_20190729-2build1.dsc
 ca91776e4c6b610395bca0a86d54add87a8a444a 10196 hol-light_20190729-2build1.debian.tar.xz
 b66357a82815bc1255ba470126727414515eabdf 7346 hol-light_20190729-2build1_source.buildinfo
Checksums-Sha256:
 bc83b7524c11d9b616d88ea2f0f25f60e37be0aa38d6b0fcb94d77d6a3619e77 2023 hol-light_20190729-2build1.dsc
 9480f2f3625ddc840a78146d4ae62a18d3a32f00959f00b5693048509446ab82 10196 hol-light_20190729-2build1.debian.tar.xz
 0d0727c522e15728e87319700265673cb5046373c8ff647e63a2ee06ee8a47d8 7346 hol-light_20190729-2build1_source.buildinfo
Files:
 f080f6be88791aa70730cb03a8bce4ee 2023 math optional hol-light_20190729-2build1.dsc
 9e932b7499bc32d95b488d0d2f4960fc 10196 math optional hol-light_20190729-2build1.debian.tar.xz
 c9a0080936be3fd8fe8a38641c1bbcd3 7346 math optional hol-light_20190729-2build1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl1HzDkACgkQ808JdE6f
XdluJBAAo1XIhxSDSVXlXZe6g6G7nafPNDFN8bMef4fVMZjerIcJR9Qq2fdKvkEw
k6JZq6ylRFx6Xu0YulHDUQyOflV5YcWlqvEmZRpEBjel8tU+gplz865k2yGkcg7g
ePAdvWTTfYWf7FbPJTm4hakY2Eck0ErKHOJbwHMXYE0vC3TKlDd4Q7ObmynXmuIt
I2eS52/wJ0uIU5LrQgvVLhaNeYF6rt96P0q5z1ezdiRH3UiOEjrfKaJsYuKWsDrC
QsUuzI6dFbYwQ7XkJZ0dF83d1BDhKsHs1gYqe1O7abPzNUifDU3pYEgX/lF1wPXo
+a+jgvrL3GLbmq8OsAEK1LixWDcLODAHUuaJ5w+uRHSra/bEEUznQfnxEhLPVX05
JHEvdLk6bKvB/9ocbL+n5++DSmFAwFNzW6R/jOK6/mHYHmRepPOBRCT4fkWF7o8G
XtWyDKVLyg18f5VIH4XH4AXe8h3TIgvUAZw/J/ZtK/qirIo3vMUNSnX1MzjEWgZR
EqtnVGfxnMsiHNn3iJ4BwgTWCx2i2677UENiYGRiCIvZnbeF4DMXr0xsciNECCCS
jngDcNwU04A8Uds+a3esHfjG4TZ6x+ZThpW0yrOwMCcgbD8rPiUmvE/8wmaLjzHI
CeWMuvBtj5e2nwfcdG9yPdF6k6POFrO4wkcwcWjzNlflvdc9byY=
=2Ey7
-----END PGP SIGNATURE-----