[ubuntu/mantic-proposed] hol-light 20230128-1build1 (Accepted)

[Gianfranco Costamagna]

hol-light (20230128-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 06 Sep 2023 23:55:08 +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/20230128-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 06 Sep 2023 23:55:08 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20230128-1build1
Distribution: mantic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 hol-light (20230128-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 36901d8a58130890212b391f86e0e473639ed52b 2061 hol-light_20230128-1build1.dsc
 afef825e2d056af0641b4e80498e96ebdc7a6bb2 10812 hol-light_20230128-1build1.debian.tar.xz
 36b1add4722b9eab8de1980faeba4de1f1fd53ce 7784 hol-light_20230128-1build1_source.buildinfo
Checksums-Sha256:
 1b7c8d2683ccaf6b789e3b3d752538a51e4014ca2a21b351083acb5042ce48f3 2061 hol-light_20230128-1build1.dsc
 f96ec4a20b651bc21ec582d4c2b7ae58677b1c6ee87dcdc1da5a67eb0b0863ef 10812 hol-light_20230128-1build1.debian.tar.xz
 27e6b639b31d634617a0a66b469d5143e713f7135f6016aa7792602e0faa9d5b 7784 hol-light_20230128-1build1_source.buildinfo
Files:
 fd1abbe9a09f3ae85d2b28a270936cba 2061 math optional hol-light_20230128-1build1.dsc
 5d081c15e25b3257fb299d39af784828 10812 math optional hol-light_20230128-1build1.debian.tar.xz
 92f50ad86c1014464a1f6bd9287fcc7a 7784 math optional hol-light_20230128-1build1_source.buildinfo