[ubuntu/oracular-proposed] hol-light 20231021-1build9 (Accepted)

[Jeremy Bícha]

hol-light (20231021-1build9) oracular; urgency=medium

  * Rebuild against latest camlp5

Date: Sun, 30 Jun 2024 08:10:47 -0400
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/20231021-1build9
-------------- next part --------------
Format: 1.8
Date: Sun, 30 Jun 2024 08:10:47 -0400
Source: hol-light
Built-For-Profiles: noudeb
Architecture: source
Version: 20231021-1build9
Distribution: oracular
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 (20231021-1build9) oracular; urgency=medium
 .
   * Rebuild against latest camlp5
Checksums-Sha1:
 cf5d0c952ba3277897a8a02a83fbd7245618f465 2061 hol-light_20231021-1build9.dsc
 e46024a6016a11471fe62d9a28c8cf5a608e4ec7 11084 hol-light_20231021-1build9.debian.tar.xz
 affd394ec6e3876fbbe3a7597465db2c2ea102d1 6663 hol-light_20231021-1build9_source.buildinfo
Checksums-Sha256:
 401c73df583c515fd76346e015601836356f80a6b9911bd4a6c7e3afc48c4699 2061 hol-light_20231021-1build9.dsc
 b7e5897a361595315e9a044558c35d80fb76505789611a555ba65aca1ef74437 11084 hol-light_20231021-1build9.debian.tar.xz
 5496210a9307c0f4045f1dc68a353f686ec9c41f2504637d6d32c87d94e51679 6663 hol-light_20231021-1build9_source.buildinfo
Files:
 f4d9946919a0fad68ebad25f4ee7b1b6 2061 math optional hol-light_20231021-1build9.dsc
 9f2fd237771df281395ea8e29656e53f 11084 math optional hol-light_20231021-1build9.debian.tar.xz
 a767826e45cf183e3eeccbb6903b66de 6663 math optional hol-light_20231021-1build9_source.buildinfo