[ubuntu/groovy-proposed] hol-light 20190729-4build3 (Accepted)

[Gianfranco Costamagna]

hol-light (20190729-4build3) groovy; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 05 Sep 2020 16:58:43 +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/20190729-4build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 05 Sep 2020 16:58:43 +0200
Source: hol-light
Binary: hol-light
Architecture: source
Version: 20190729-4build3
Distribution: groovy
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 (20190729-4build3) groovy; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 36c2f7f7f9df4d25f8076696e06d8acb598c4042 2112 hol-light_20190729-4build3.dsc
 2242176af233f810b2c8da66cb568dec999a69e2 11260 hol-light_20190729-4build3.debian.tar.xz
 2cc19bd20284c49c019278adfd50017397077308 7566 hol-light_20190729-4build3_source.buildinfo
Checksums-Sha256:
 5ee9fd96701e89d518b68056fbe8546f5ad36cddc53ffc947a237c87eeaa5ddb 2112 hol-light_20190729-4build3.dsc
 b8339ffbd5844b966e56e58e62d50ce69712d4f2a27b73902e0367065d3d0b07 11260 hol-light_20190729-4build3.debian.tar.xz
 ab9901c469b68a4d5f8f8b3e72c938e1b50c830a377117d5b4bfc95dac4d27ad 7566 hol-light_20190729-4build3_source.buildinfo
Files:
 dbeb56abfa280a24796930e6a742bb0c 2112 math optional hol-light_20190729-4build3.dsc
 8c72c0aff1012a27a7b9ed9bef8f08dc 11260 math optional hol-light_20190729-4build3.debian.tar.xz
 9770176a41d4dab4757785794265fed5 7566 math optional hol-light_20190729-4build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl9Tp6UACgkQ808JdE6f
Xdlozw/+KAcueLf7rVVzoKcZ8HLtBzbQcQEcGuL/XD81sAAJfKYq37e2iKxMBeAu
c3VeyB4rf3NwqowYVUc7GeUwmVeefC9/9N85iMZBAxypGb1anVe5rH9uKI5BTIde
3b2c+xf/Xl4K4E9vSfyS/pBiYF9FjxK7NRhxRB/I9tr+JT4V2NO6KthElGEYKRiD
02kZKuxdNj8tPMp3U4zykfJ0We18oKhvhwLmLT55UspTHL1pnBQSAFtFnuCaJW4y
kZFHvpuOgj5eFV+dfwcOCdEFawCYwdVg5eM0FijTsM5w8CXi6HW/l3L0eSFbEdBS
536K+W3uvfI2S+3/cvTlCDyBcT07gwnEIvKHwh+CoSvhcOsJjqUXmK3G08NTaIA9
nQS8J22RZqipASqHeLJzYpQzVBM8GiWYwbDPnC6BMMjQFfNJEBdO7TtSU4kL+pO5
soZZKMLyW3NYQVvVQ4KZ8FWT8xkyx2y8+sBYE5OwntDIKSJ+Wgk7kIaBKNu9SI+7
M6822sc+ZyxcMuKUZfClh9l/Y8w8wGqgE9IA3bInCJAC0REX2QTfiMznb0wHt9YE
ZyrC7HMSDte/7Bk8MUckh6MX7qpNJK6lGiYKuvb/IU+up0RvJK2/UzwLF5ghpM32
ci4JVzkx2bGAFWwlMHlOXY0BGNw6p6kf7SU9VlmFwGPSt1yy+dA=
=g4tF
-----END PGP SIGNATURE-----