[ubuntu/oracular-proposed] hol-light 20231021-2build2 (Accepted)

[Matthias Klose]

hol-light (20231021-2build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:33 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/hol-light/20231021-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:33 +0200
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-2build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 hol-light (20231021-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 9ee98303d3d63ea27ccfc33cd36de92e9a28072d 2061 hol-light_20231021-2build2.dsc
 aae4343991190737f464923b2ae3f8105b88b6fc 33168 hol-light_20231021-2build2.debian.tar.xz
 9e0e420e4e5690b933e14275e1465f9bf9914ff2 5704 hol-light_20231021-2build2_source.buildinfo
Checksums-Sha256:
 e511c045d137d812df553620f9b13ed1b1ef8bdc3a7a79e2d693f7876c66191b 2061 hol-light_20231021-2build2.dsc
 615451995d274e0c9604046463706778d221085e3e474088040ff982246bd074 33168 hol-light_20231021-2build2.debian.tar.xz
 b92760797f603a7699c92a07f9fa166ecc3535971d7fe4b457410930db96e8c9 5704 hol-light_20231021-2build2_source.buildinfo
Files:
 07679c35ef752c9c41f8b48fbd083e88 2061 math optional hol-light_20231021-2build2.dsc
 0dddfbb9714894b745d9e7f34c35bc55 33168 math optional hol-light_20231021-2build2.debian.tar.xz
 d197f466226b6f9ac0e37d43113e0a18 5704 math optional hol-light_20231021-2build2_source.buildinfo