From foo@bar  Sat Jul  4 12:30:02 2026
Format: 1.8
Date: Sat, 04 Jul 2026 13:31:48 +0200
Source: hol-light
Binary: hol-light
Architecture: ppc64
Version: 1:3.1.0+git20260619-2
Distribution: sid
Urgency: medium
Maintainer: ppc64 / powerpc Build Daemon (blaauw) <blaauw2@blaauw.buildd.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (1:3.1.0+git20260619-2) unstable; urgency=medium
 .
   * Team upload
   * Add support for OCaml 5.5
Checksums-Sha1:
 eb572d42396a1696f9290566ac1a510f8c432311 9114 hol-light_3.1.0+git20260619-2_ppc64.buildinfo
 7df4805445cde8c8d4cd438b2ac54549ac5bc57a 7000812 hol-light_3.1.0+git20260619-2_ppc64.deb
Checksums-Sha256:
 638a3fe3dc4595c5b3420961c78ae5796156bd98f7e7c5aeb2eb62afcb7ed97d 9114 hol-light_3.1.0+git20260619-2_ppc64.buildinfo
 8eb26fc019523ba56dfcd9fae0a3ef0b2b9da2a7dcd2c9d69f18cf6a7d4c6404 7000812 hol-light_3.1.0+git20260619-2_ppc64.deb
Files:
 e6b01a17129a17312c18ec1f2313159b 9114 math optional hol-light_3.1.0+git20260619-2_ppc64.buildinfo
 4eda9781a9edc731677c7621bf967bd4 7000812 math optional hol-light_3.1.0+git20260619-2_ppc64.deb
Signed-By: Debian buildd autosigning key for blaauw <buildd_ppc64-blaauw@buildd.debian.org>