[ubuntu/resolute-proposed] hol-light 1:3.1.0-2build3 (Accepted)

[Sebastien Bacher]

hol-light (1:3.1.0-2build3) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Sat, 28 Feb 2026 20:44:45 +0100
Changed-By: Sebastien Bacher <seb128 at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Sebastien Bacher <sebastien.bacher at canonical.com>
https://launchpad.net/ubuntu/+source/hol-light/1:3.1.0-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 28 Feb 2026 20:44:45 +0100
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.1.0-2build3
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at debian.org>
Changes:
 hol-light (1:3.1.0-2build3) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 9024e7874d239eb42b9065eda9764abcb3d92925 2079 hol-light_3.1.0-2build3.dsc
 02e6513b3169be1150b264ac069c31635c9aa467 19796 hol-light_3.1.0-2build3.debian.tar.xz
 4c8ae6a1e3dcc642e147718e97455ca52d55711f 8236 hol-light_3.1.0-2build3_source.buildinfo
Checksums-Sha256:
 1534acad9581e180c37a68558d4ef73601a5bb3639801daa9698483fc158aed3 2079 hol-light_3.1.0-2build3.dsc
 2679af0a6602af1e13649986489162076bb9fd0e5ea3f6c12ed21d1bec2d30cb 19796 hol-light_3.1.0-2build3.debian.tar.xz
 fa17b0d70df62e0c85c259213a9969d7b3f2ece81f1d9f25d2d591567e7b2291 8236 hol-light_3.1.0-2build3_source.buildinfo
Files:
 090cf22691ed48d125013b4c3215284b 2079 math optional hol-light_3.1.0-2build3.dsc
 896bb888fb304f7bd7d89ba907a804b4 19796 math optional hol-light_3.1.0-2build3.debian.tar.xz
 abb8b29b4bea192a10c8eccbd807f1a5 8236 math optional hol-light_3.1.0-2build3_source.buildinfo