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: powerpc
Version: 1:3.1.0+git20260619-2
Distribution: sid
Urgency: medium
Maintainer: ppc64 / powerpc Build Daemon (debian-project-be-2) <debian-project-be-2@debian-project-be-2.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:
 1cd67eba9db0bd23f0bfba4a05b0c96579c6cbb4 9038 hol-light_3.1.0+git20260619-2_powerpc.buildinfo
 20acee542d97b780b17d5cdae1bf000677098247 7000604 hol-light_3.1.0+git20260619-2_powerpc.deb
Checksums-Sha256:
 3e824cab4e9f6ddbf54124c3f45ae434f658633859b714716300d1e1e9828a81 9038 hol-light_3.1.0+git20260619-2_powerpc.buildinfo
 308a4f322c45c07f7b13c62e1e9ff2e777aa3485e289472d07173fb18c5a9d32 7000604 hol-light_3.1.0+git20260619-2_powerpc.deb
Files:
 60b539f8a95a91ac0e29b8384b4f3f9c 9038 math optional hol-light_3.1.0+git20260619-2_powerpc.buildinfo
 9ea1ae6136a186098e2f2b9c9366ca39 7000604 math optional hol-light_3.1.0+git20260619-2_powerpc.deb
Signed-By: Debian buildd autosigning key for debian-project-be-2 <buildd_ppc64-debian-project-be-2@buildd.debian.org>