[ubuntu/jammy-proposed] hol-light 20190729-4build5 (Accepted)

[Steve Langasek]

hol-light (20190729-4build5) jammy; urgency=medium

  * No-change rebuild for current ocaml ABIs

Date: Thu, 16 Dec 2021 04:53:14 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/hol-light/20190729-4build5
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Dec 2021 04:53:14 +0000
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20190729-4build5
Distribution: jammy
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 hol-light (20190729-4build5) jammy; urgency=medium
 .
   * No-change rebuild for current ocaml ABIs
Checksums-Sha1:
 782ae408f752651bbca44cdf2ce6ab91cc9b975e 2149 hol-light_20190729-4build5.dsc
 0f8c8df41cbadeaed0cf8d41d90e7174b8a9f32f 11372 hol-light_20190729-4build5.debian.tar.xz
 7c0d4248687f3f26ddee66fe13e1827a1559addd 6672 hol-light_20190729-4build5_source.buildinfo
Checksums-Sha256:
 efdb82b0c05c46c8c1c90a06a8b72e530b18bbe376caa6479589fc513f7d6977 2149 hol-light_20190729-4build5.dsc
 f80b91f077dc5b82e2b174ce9f048d4f666ea487a95fac372563668e775ee91c 11372 hol-light_20190729-4build5.debian.tar.xz
 cce828ecd20f189d28f150e78bd48b31f937637a44f5e23dffac491434685a76 6672 hol-light_20190729-4build5_source.buildinfo
Files:
 ee29f02d078609b0d920e41e49af4abd 2149 math optional hol-light_20190729-4build5.dsc
 de1c47d6d40d5bc2a2a270998c023a4f 11372 math optional hol-light_20190729-4build5.debian.tar.xz
 97abe728fc98c4140b1d63f2e4abf39a 6672 math optional hol-light_20190729-4build5_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>