Format: 1.8
Date: Sat, 25 Apr 2026 03:48:51 +0200
Source: hol-light
Binary: hol-light
Architecture: source amd64
Version: 1:3.1.0-2+ocaml1
Distribution: trixie-backports-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 hol-light  - HOL Light theorem prover
Changes:
 hol-light (1:3.1.0-2+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.1
Checksums-Sha1:
 ba1db20779016d2aaace62f50c3b9b3c510f91aa 1200 hol-light_3.1.0-2+ocaml1.dsc
 597e1231b802d35a35445e7c03d1c045501218c8 5539628 hol-light_3.1.0.orig.tar.xz
 767bde00029a65e7734bcf1d24ebd67312fd321a 19760 hol-light_3.1.0-2+ocaml1.debian.tar.xz
 e6bd5a43b050f0f6614f88e11c668c8262169cde 8933 hol-light_3.1.0-2+ocaml1_amd64.buildinfo
 206696c04c4cebaab237cf4297694844e58097be 6198976 hol-light_3.1.0-2+ocaml1_amd64.deb
Checksums-Sha256:
 97a35e707fd70f562eff53d4a70a28165650a2a26a107e1bf66c218dbecc8102 1200 hol-light_3.1.0-2+ocaml1.dsc
 381cfbd720fa06487022996e1c77079867e30292f6411d7162dc2056a2e19aa0 5539628 hol-light_3.1.0.orig.tar.xz
 bd25ad492dd843059c6e537f7489e4de4329dd7cfc68ad49fba28227769f2e02 19760 hol-light_3.1.0-2+ocaml1.debian.tar.xz
 a12b5447c9e31d7f074e5a4f8b3a97e1960dad6d91218bafb6953bdb9be6791b 8933 hol-light_3.1.0-2+ocaml1_amd64.buildinfo
 e171849395bda1fcc0e04f36c01b774b89eb288c851e151dac5dbc9457133b9e 6198976 hol-light_3.1.0-2+ocaml1_amd64.deb
Files:
 7862fd244238990886db36436eb5140f 1200 math optional hol-light_3.1.0-2+ocaml1.dsc
 e7fb33160150667d18dd711e991005aa 5539628 math optional hol-light_3.1.0.orig.tar.xz
 cee3b15e01e6ba7feeefd8c6740f72cc 19760 math optional hol-light_3.1.0-2+ocaml1.debian.tar.xz
 6aa83c2e9e0521d149508fd81efac47a 8933 math optional hol-light_3.1.0-2+ocaml1_amd64.buildinfo
 bed23f40a9e5fe9f7fde168b5155cf3a 6198976 math optional hol-light_3.1.0-2+ocaml1_amd64.deb