Your message dated Thu, 23 Jan 2025 22:35:17 +0000 with message-id <E1tb5nB-00Es4L-TO@fasolo.debian.org> and subject line Bug#1093100: fixed in coq-doc 8.20.0-2 has caused the Debian Bug report #1093100, regarding coq-doc: FTBFS with OCaml 5.3.0 (seems unrelated to OCaml) 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 owner@bugs.debian.org immediately.) -- 1093100: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1093100 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: coq-doc: FTBFS with OCaml 5.3.0 (seems unrelated to OCaml)
- From: Stephane Glondu <glondu@debian.org>
- Date: Wed, 15 Jan 2025 09:34:35 +0000
- Message-id: <[🔎] E1tXznH-00H0Dk-Ru@master.debian.org>
Source: coq-doc Version: 8.20.0-1 Severity: important Tags: ftbfs User: debian-ocaml-maint@lists.debian.org Usertags: ocaml-5.3.0-transition Dear Maintainer, Your package FTBFS with OCaml 5.3.0 for the following reason: seems unrelated to OCaml A full log is available at: http://ocaml.debian.net/transitions/20250111/ocaml-5.3.0/pool/coq-doc/coq-doc_8.20.0-1+ocaml1_amd64-2025-01-13T07:10:18Z.build A repository with all relevant packages recompiled with OCaml 5.3.0 is available at the following address: http://ocaml.debian.net/transitions/ocaml-5.3.0/ Cheers, -- Stephane
--- End Message ---
--- Begin Message ---
- To: 1093100-close@bugs.debian.org
- Subject: Bug#1093100: fixed in coq-doc 8.20.0-2
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 23 Jan 2025 22:35:17 +0000
- Message-id: <E1tb5nB-00Es4L-TO@fasolo.debian.org>
- Reply-to: Julien Puydt <jpuydt@debian.org>
Source: coq-doc Source-Version: 8.20.0-2 Done: Julien Puydt <jpuydt@debian.org> We believe that the bug you reported is fixed in the latest version of coq-doc, 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 1093100@bugs.debian.org, and the maintainer will reopen the bug report if appropriate. Debian distribution maintenance software pp. Julien Puydt <jpuydt@debian.org> (supplier of updated coq-doc 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) -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 20 Jan 2025 12:58:56 +0100 Source: coq-doc Architecture: source Version: 8.20.0-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Closes: 1093100 1093324 Changes: coq-doc (8.20.0-2) UNRELEASED; urgency=medium . * Add patch to compile with recent Python versions (Closes: #1093324, #1093100). Checksums-Sha1: e6912aebbeb37d762f467fe5c5aafa8340ace97e 2572 coq-doc_8.20.0-2.dsc 72dba5a4de47ab003e1032ecb182fe83827ad5b7 8820 coq-doc_8.20.0-2.debian.tar.xz 4c08dc4d5dcf98bdb565db21458bf023aa018454 13908 coq-doc_8.20.0-2_amd64.buildinfo Checksums-Sha256: 4263c2af2ad533d622ecfa351d899b77f668ba4cdd99bb9207f6e261af69977f 2572 coq-doc_8.20.0-2.dsc 6dfb06fb53e171367e4ac484de4fcc2c748d59d2c075efbb28ed5006ef566992 8820 coq-doc_8.20.0-2.debian.tar.xz 84d4a500241d2f3eda30dbfc7f553d5984a9383e1a58ff67d2d11ebc282191d8 13908 coq-doc_8.20.0-2_amd64.buildinfo Files: 7be3df13db22a072206a1c6b06a413d6 2572 non-free/doc optional coq-doc_8.20.0-2.dsc c295e2476e873be9f8eb6a2f4790b3bc 8820 non-free/doc optional coq-doc_8.20.0-2.debian.tar.xz 9ed0c918f97f160fc2899751264a1721 13908 non-free/doc optional coq-doc_8.20.0-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmeSr3UZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUSL5D/4j3KAuuTXBw3IcN3PC7L3M jvBFRfIP1CFG07jp8i9qPt4XgEKzpx+S1P0ScyUdz+lIm500gTVV5iHGIjRrxTbn IGNdM98eoP8Ok4TCM9j0Zyx+An8NwuntAFoq6h/THlwJ1UlcF+EAf4ALxEI+XX84 5VBgGqKybFQY8ZNBvR8QUpe9VXDVbw7FfgyHu4cHrPnmQJwKRfRZtF3Ci9nSJF2j VhrQTODr9oPx6ZtVFFQ7DrJGQuzZ3g2fA8HU70BBRsEIHq1R5kJgVuDsnKQeikty xvaMC7CYpZ1yc784JD8hp8gbMOhkVpl7vbkqMSgroVHKEuPE9SOKZs5QaJpRMKmD yEHHXDSpN2iSwNBTO+Y/HuYJmdeCz4fxLWKOHzc4iM4QnmOnfyl+Xs6dNiwUxsVw 3UzfLoXSHEkU/4H0l94PAN3HN0yRYfK5vruV6y1EMl7CyHy1/5LgIZYR7noOEwza 8A1AqGUvoPM3yQbr8Qoi5Tf4L6yBqQ3ckFVrI9IxauhNS3KQFVV79lnLlLWCPQqh TM2VVARVTX/Y+pqsFa0zOIkbM0dRAVB9dK0v/p+dJY3mO+xiQHR1N429tykhMBH5 XWkeMQajq2KYLfAmlkFhDBBEgAP+wNOaRuj+t2L4ackw3hLxIqDAPwHq0kzV/ajT X7jnYOs43lhcLUlUcuF13Q== =9s7U -----END PGP SIGNATURE-----Attachment: pgpebek0Kq12Z.pgp
Description: PGP signature
--- End Message ---