Your message dated Sun, 19 Jan 2025 19:34:37 +0000 with message-id <E1tZb49-00CAQ6-5m@fasolo.debian.org> and subject line Bug#1087437: fixed in coccinelle 1.3.0.deb-1 has caused the Debian Bug report #1087437, regarding coccinelle: FTBFS with OCaml 5.3.0 (make[2]: *** [Makefile:39: manual.pdf] Error 1) 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.) -- 1087437: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1087437 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: Debian Bug Tracking System <submit@bugs.debian.org>
- Subject: coccinelle: FTBFS with OCaml 5.3.0 (make[2]: *** [Makefile:39: manual.pdf] Error 1)
- From: Stephane Glondu <glondu@debian.org>
- Date: Wed, 15 Jan 2025 09:34:35 +0000
- Message-id: <[🔎] E1tXznH-00H0Da-A7@master.debian.org>
Source: coccinelle Version: 1.2.deb-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: make[2]: *** [Makefile:39: manual.pdf] Error 1 A full log is available at: http://ocaml.debian.net/transitions/20250111/ocaml-5.3.0/pool/coccinelle/coccinelle_1.2.deb-1+ocaml1_amd64-2025-01-12T07:10:44Z.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: 1087437-close@bugs.debian.org
- Subject: Bug#1087437: fixed in coccinelle 1.3.0.deb-1
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 19 Jan 2025 19:34:37 +0000
- Message-id: <E1tZb49-00CAQ6-5m@fasolo.debian.org>
- Reply-to: Ralf Treinen <treinen@debian.org>
Source: coccinelle Source-Version: 1.3.0.deb-1 Done: Ralf Treinen <treinen@debian.org> We believe that the bug you reported is fixed in the latest version of coccinelle, 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 1087437@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 coccinelle 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: Sun, 19 Jan 2025 19:39:32 +0100 Source: coccinelle Architecture: source Version: 1.3.0.deb-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Ralf Treinen <treinen@debian.org> Closes: 1087437 Changes: coccinelle (1.3.0.deb-1) unstable; urgency=medium . * New upstream release. * Refresh patches dont-expose-parmap and dont-update-test-score * Do not build the coccinelle-doc package (closes: #1087437) - debian/control: disable this package, and the build-depend-indeps - debian/rules: disable override_dh_auto_build-indep * Standards-Version 4.7.0 (no change) Checksums-Sha1: cde4ea4271b2f0f6e07039495e0c24af59c40d2c 2191 coccinelle_1.3.0.deb-1.dsc e6442a4b7159d136c6da4473f9c8011c9061fbec 1908615 coccinelle_1.3.0.deb.orig.tar.gz e1512edf3369e71f60d27df819e474bc5f4e4a36 12660 coccinelle_1.3.0.deb-1.debian.tar.xz ca616eaa3ab8fb2dcc2b7d4d1b6ffb2c332d3b84 7622 coccinelle_1.3.0.deb-1_source.buildinfo Checksums-Sha256: 521727ce4f670bfe21b39ae017bba9c83dc70ca81ff68752e5463b379cd3cd62 2191 coccinelle_1.3.0.deb-1.dsc 5bbf921f19ff23900604a00af56f619709828b6d8e82227185e699a8cec3c297 1908615 coccinelle_1.3.0.deb.orig.tar.gz 33c1a025e84542c3ec5861f70b067bb94daadd92136f1041f1611397d9bc99c0 12660 coccinelle_1.3.0.deb-1.debian.tar.xz fab13397492ddf289177fe8241ee90f88f9a3bc61e08a11f9e5aeb44ff848000 7622 coccinelle_1.3.0.deb-1_source.buildinfo Files: e81cfa50c646a4271ee6591161513b97 2191 devel optional coccinelle_1.3.0.deb-1.dsc 1c28c7b207493d7dc179449cf9d81662 1908615 devel optional coccinelle_1.3.0.deb.orig.tar.gz dfbf0c61ff78349ef3f9abebda4bdbb6 12660 devel optional coccinelle_1.3.0.deb-1.debian.tar.xz 7a863cb6cc0f5988b579e6cb75dcb377 7622 devel optional coccinelle_1.3.0.deb-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmeNT+MACgkQdFxHZtTK zf8moxAAnqu6xIgr8Hikwnb7AV09iapdj0lJTnpecwUBkTy0Y4k2VvEQiQgViznB MLliQOloS234TQgjHCveCUONhx99X/QOQZecHNYiPoOYpNNM44h43BYQImzn0yj7 5HWMZ5QmfloojLWk0yJjgGkVZuTAt+AqLu7uKIAeK1ITBBuIugoxaigFvjZpm+Ou JALPuHHE/82N3z9O86lgmq8WYxIvFELzjW6LiQGSSHXQNrqhB58GOEhDC/kjVB1M v0ErEzIHcYvl8JIsdhy1kE06rtTE7RzDyX60jEtcaQFou4ib8GobmPHMQwNMvYcw qxTbbrK96gPXAqeKLIy1lmbg6FojKTHvM5/tqawpj9QHxzGvmG6dp+O9+zBSzJ2+ usCqY5Bf/6A0JwZOgRR7Vdu9uZa73pAlaZtjK2aAXlbKPmfJ6tVYGo/jMYClI7Ge rhrsJn3aFfOr+ZVfWSHmIr9KAyeKcOdUiEA7Bn0gCtcGGg4zhRrKpyfS9lbslgPC u8OpuCup7ZojDU4/uZaT7IhLt7dwusxrLTQRB72ECOX01AzofKDXrIQEFF0nfb95 KRnIRxTKMgZuZSQSflzgtnMtWdN5auDuIQ0vhd9/YYmOgPcvyycQzoxaaY78+zoD 57o4l2hlopYDJDwvYwUzagsYLTdZWs5cMcNc+kIJVNYAxL+szVU= =Psq4 -----END PGP SIGNATURE-----Attachment: pgp6BePstNcGm.pgp
Description: PGP signature
--- End Message ---