[ubuntu/plucky-proposed] hol-light 1:3.0.0-2build4 (Accepted)

[Jeremy Bícha]

hol-light (1:3.0.0-2build4) plucky; urgency=medium

  * Rebuild against latest camlp5

Date: Sun, 26 Jan 2025 16:39:33 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/hol-light/1:3.0.0-2build4
-------------- next part --------------
Format: 1.8
Date: Sun, 26 Jan 2025 16:39:33 -0500
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 1:3.0.0-2build4
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 hol-light (1:3.0.0-2build4) plucky; urgency=medium
 .
   * Rebuild against latest camlp5
Checksums-Sha1:
 3dca609cd5db7ba083ac6cd4262ada8922f7b9cb 2063 hol-light_3.0.0-2build4.dsc
 eba05bf5e3cd3a3e04c476748d86f9ae5846ced0 11060 hol-light_3.0.0-2build4.debian.tar.xz
 fc746d0fd077ab903d83483ea5a2b011de317dc8 7050 hol-light_3.0.0-2build4_source.buildinfo
Checksums-Sha256:
 7de985473ab6a3a52616d9a8ccdceba960aeb459d0df93627b6821756c846ae5 2063 hol-light_3.0.0-2build4.dsc
 f283ec446d7bd8e23b0a9c2c183285634100a62ab47fc873ea519c041aab9dce 11060 hol-light_3.0.0-2build4.debian.tar.xz
 ce99299033abe1f72166ba5609ced04568f468d1b54b1fe5d482fe47c5cf6317 7050 hol-light_3.0.0-2build4_source.buildinfo
Files:
 7f2f700fb6efce48981093c81451ea36 2063 math optional hol-light_3.0.0-2build4.dsc
 ca6e4c38821115b4ba56bc604393cbe1 11060 math optional hol-light_3.0.0-2build4.debian.tar.xz
 9ecd3ae8af9db6a293f51a7fa33f4dd8 7050 math optional hol-light_3.0.0-2build4_source.buildinfo