We believe that the bug you reported is fixed in the latest version of
hlins, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 1105368@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Ralf Treinen <treinen@debian.org> (supplier of updated hlins package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)
Format: 1.8
Date: Wed, 14 May 2025 17:28:16 +0200
Source: hlins
Architecture: source
Version: 0.40-2
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Ralf Treinen <treinen@debian.org>
Closes: 1105368
Changes:
hlins (0.40-2) experimental; urgency=medium
.
* Makefile.in: ensure existence of generated file "version.ml" as a
dependency of the "depend" target (closes: #1105368)
* Standards-Version 4.7.2 (no change)
Checksums-Sha1:
786c63db1907c0e9fe126869d0c58a304ff62a27 1912 hlins_0.40-2.dsc
df218d7b5dceecc716380f2b43bd5116cc234705 5640 hlins_0.40-2.debian.tar.xz
15efbca22becd09dbe6a4314d6c6401eaa731766 6023 hlins_0.40-2_source.buildinfo
Checksums-Sha256:
d9800222481f752e7cc1e821d5739045d4b605da4c6e49c612b96ae2e5adaf8d 1912 hlins_0.40-2.dsc
e23a0dccfbe66aa55bee1630a51282e108c46bd5bb4423b7835fdcd5e92cb20e 5640 hlins_0.40-2.debian.tar.xz
28528c3e3f947377f053c43aaf3f85947f743c293301296da8258992d39c9e97 6023 hlins_0.40-2_source.buildinfo
Files:
d442e56f10384dcc84fbe6922669ae38 1912 text optional hlins_0.40-2.dsc
0772ea396358b1a2560fa8abfb47e758 5640 text optional hlins_0.40-2.debian.tar.xz
4947ceea1ec02ee7829770cb9683f097 6023 text optional hlins_0.40-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmglrewACgkQdFxHZtTK
zf872A/9GxeU6uef21GQYewES+HRjzg0h9J5OhGi3iXPnAfOuf8KAI2gkutl5iEK
1KrMeUkrieIQ/Ogg50pTabebkqXhr30DYgceifzeOhaVYRLZM/j0Q/GK7Trz6O21
6QwjYMN1Tn4mibBRN1cezBJhB8MQ2rNDkuk3RtAZgQGGR0c6dsCqLB/inYEG/zpz
3myIeuAfRnzljpcZlXGHYxCMWH1OhiyqAtZs4kjf7xkul1E5itVr5GqyFxWi4cxh
BzA/kyhVNrUm5mXSZVD5wy8/TtFmfg93xklYJMWDm2HvXdAZ0oi8sSlmuXlnln8y
DBxNY2J1N29eX0pRLAIXpiDIabI6hFLNPq/G6CmFZXRb93w7/lN3hUrzXOA2NP4d
eGpXNCVhCq0uJ0V6UGzck1VSEzZR+crTLNuc7AnsuCpgwPDtyco1RGeHDHgnk+Ep
jL4fCoJyRfBsMc/i78KCISZNhXko3DzbdXpDlStKAfH3z4IJ3fodx22o1becLHIX
bIpM64Fkf8MtLmy+Kxb2d+/NvK7NVVo9FMNNuWvIoEGK7Qci5XAJK/oDHNo+HNZZ
xWfA1KUsFytaGCcHWPi5uTZYTGi3gCzOknX4vbMYoLmvFQRknAUioDj0MlTmNaTT
zv702ncP0veErE/JYcEj69DwHrqDxyXqP5eLSyIYw9yoBGdaN24=
=qw21
-----END PGP SIGNATURE-----