Your message dated Fri, 06 Dec 2024 08:39:52 +0000
with message-id <e1tjtso-002wt2...@fasolo.debian.org>
and subject line Bug#1073882: fixed in hol-light 1:3.0.0-1
has caused the Debian Bug report #1073882,
regarding FTBFS with OCaml 5.2.0 (Needs porting)
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
1073882: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1073882
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Source: hol-light
Version: 20231021-1
Severity: important
Tags: ftbfs
User: debian-ocaml-ma...@lists.debian.org
Usertags: ocaml-5.2.0-transition
Dear Maintainer,
Your package FTBFS with OCaml 5.2.0 for the following reason:
Needs porting
A full log is available at:
http://ocaml.debian.net/transitions/ocaml-5.2.0/pool/hol-light.log
A repository with all relevant packages recompiled with OCaml 5.2.0 is
available at the following address:
http://ocaml.debian.net/transitions/ocaml-5.2.0/
Cheers,
--
Stephane
--- End Message ---
--- Begin Message ---
Source: hol-light
Source-Version: 1:3.0.0-1
Done: Bo YU <tsu.y...@gmail.com>
We believe that the bug you reported is fixed in the latest version of
hol-light, 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 1073...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Bo YU <tsu.y...@gmail.com> (supplier of updated hol-light 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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 26 Nov 2024 12:34:41 +0800
Source: hol-light
Architecture: source
Version: 1:3.0.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org>
Changed-By: Bo YU <tsu.y...@gmail.com>
Closes: 1073882
Changes:
hol-light (1:3.0.0-1) unstable; urgency=medium
.
* Team upload.
* Enable d/watch
- Clear some comments on d/watch
* New upstream version 3.0.0. (Closes: #1073882)
* Refresh d/patches/*
- Drop 0004-Fix-build-with-camlp5-8.03.00.patch
- Drop default-hollight-dir
* Add libzarith-ocaml-dev and libcoq-bignums on B-D.
* Use $(MAKE) to build it.
* No need to install usr/share/hol-light/* explicitly.
* Update d/copyright
* Bump std-ver to 4.7.0
* Add epoch to version number
Checksums-Sha1:
2f5571ef32785dcf8ec91ec40862ff5bb6d24494 1734 hol-light_3.0.0-1.dsc
bac1bc40a8eacb2da5571c9e63674970f31516e9 5364404 hol-light_3.0.0.orig.tar.xz
cab0c740286edc27bace602974fc752600295cb3 10864 hol-light_3.0.0-1.debian.tar.xz
Checksums-Sha256:
87b08b9ad2d1020e9e783111128ca26af249c676fff10ae2b822efe84ec11404 1734
hol-light_3.0.0-1.dsc
918a6ef8caa8b36b6fe260ac35995c9e0ad34daed4ad4240b77b91cf2ee0185f 5364404
hol-light_3.0.0.orig.tar.xz
c1dabde33ff7dd3d9cd0992e464cdae2a16a04326238e2f9c7ee945579f4171c 10864
hol-light_3.0.0-1.debian.tar.xz
Files:
9f9b9854e2fefde6b82dd18bbba26c6c 1734 math optional hol-light_3.0.0-1.dsc
6214301dd5b613f08425b5de17c30ba8 5364404 math optional
hol-light_3.0.0.orig.tar.xz
3f7c76095ce22d242e77f207c8641d42 10864 math optional
hol-light_3.0.0-1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmdSrgsSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBiesH/RyND5kJLAMeo1gobFqs24KbgPOolZNU
1WoiLyLBKBkktBme1OqhpvlkHxKqjGN5ouD0MyPGzQJzzv/tO6EFxwodPSluobaa
6OhMzB/zMB8a8V/t6IHmoqB0hq/IAPaDzgy6CuHV2s0Gw2znl31w60CIqnlJ28dp
n+mCQ30jbSEHRE3rGyN46JEOery677lFVbO9o5dvqdaldM46wvK6WdvTEzKE5/tL
ZBHdefdteTCLamS+9S9fLnSrbGQUw3oiJrtWHfUFVHnpt8qRlmifqhI2SMNBIYkc
zs5nsOmvVHXx5WE/PfoG/bRSzROdFTl47bZpRu0o7vmM+qRQkGbRBtY=
=ETwp
-----END PGP SIGNATURE-----
pgps_VxzS454G.pgp
Description: PGP signature
--- End Message ---
