[ubuntu/eoan-proposed] hol-light 20170706-0ubuntu5 (Accepted)

[Gianfranco Costamagna]

hol-light (20170706-0ubuntu5) eoan; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Sat, 27 Jul 2019 10:19:28 +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-0ubuntu5
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 27 Jul 2019 10:19:28 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20170706-0ubuntu5
Distribution: eoan
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-0ubuntu5) eoan; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e51114dce2c0201ca69072f4152e251f5387fb50 2150 hol-light_20170706-0ubuntu5.dsc
 895e64e28edeb70875388f7403324fc185e60d5c 9764 hol-light_20170706-0ubuntu5.debian.tar.xz
 2f60e2d8e4359cc9a129d3d0efe72d3173ef7aae 7350 hol-light_20170706-0ubuntu5_source.buildinfo
Checksums-Sha256:
 3bc5db613156374cc1ae26e5d48dcaed171c6c46b408425219e5fc33fa766d9d 2150 hol-light_20170706-0ubuntu5.dsc
 04559c2889fc390b444e9e1c04089474368abeda090e663042e0dbfc469c288c 9764 hol-light_20170706-0ubuntu5.debian.tar.xz
 5dac66adcee52f30bd0643536f48cfae22fd92c95b83ba971ebe30f7aa301a2d 7350 hol-light_20170706-0ubuntu5_source.buildinfo
Files:
 bbfc3cee68bed62082961e6510d3253b 2150 math extra hol-light_20170706-0ubuntu5.dsc
 0c00fc63ef7ac8d84bd0c0b2ec8f4c25 9764 math extra hol-light_20170706-0ubuntu5.debian.tar.xz
 3f26da0e7e160a5b9f56bfd9f937d1da 7350 math extra hol-light_20170706-0ubuntu5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl08CRIACgkQ808JdE6f
Xdmo3w//SA7I0BLr9McQaEhTs3r1n0Y8N1fgPU8zeyfmfdTf2x7Yhxp6Fi/koxmJ
MpoTzgVMT+0CjhserS3y0h61VRLKbdky7IvafBb91CUPDyxgBqeN8OIsKLrPBlLW
9ppqAPoa/DGlsChYe0TcSjFckwviXEYOmpoze/gwpgMFqbUqEIi9lj43nno7aN5x
9QuwtIFdB9a3sQ6e2rq5Z/Exu8o5COAHII+xxUgNkioQc3GlIGYVwtRA6XPGPHGU
DDUMTQ8EDn3ZNYDf35nCeQMRXqX9OLDy1HmTYy/gtbVdPsvTL8Q0Q9UKwrcMTrAO
vhHr94Qnr0z2VAxCuI4upqOKgMHXCM/Nvpj5LxGFueDZKpD1FRVVr19AG4EMAtnN
RreGIDFKLZz8/5EyxGvniKSRHUX3cYZQpk1FXbxPQ7n5uONITtTkQ0kXjSYxpZ/0
dp7almzG1x5SdizHvBWD/vc+Ynhhta+F4Ph7bvp6Z1w3t6HmrOPCLoIxfa7vDFaH
nRRoExBxM54SIi5lfKHCnraWKevarQmvAuUTw5wTlaIzOPcYk/puyTUh/Q2iMZ3F
bpNlLTyCjcdvtirLkQOZQZdERqv5PybEMAIz7V1zUW0+Gyc7w1L7aTi5YyeOy2kX
ZHAa/QMezhoDpYgW8kl502rnkED1I0sWIaG4Cp55Kligmld36uU=
=iyyK
-----END PGP SIGNATURE-----