Your message dated Mon, 05 Jan 2026 23:05:44 +0000
with message-id <[email protected]>
and subject line Bug#1124659: fixed in graphviz 14.1.1-2
has caused the Debian Bug report #1124659,
regarding graphviz: missing ccomps tool?
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 [email protected]
immediately.)
--
1124659: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1124659
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Source: graphviz
Version: 14.1.1-1
Severity: serious
Hello, why3 fails to build now due to missing ccomps tool. I didn't find a
replacement, and I see in build log that graphviz is still building it.
Moreover I can't find in changelog any reason for it being dropped.
Please bring it back
make[2]: Entering directory '/<<PKGBUILDDIR>>'
cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml
src/util/re.ml
doc/drv_depgraph drivers/alt_ergo.drv drivers/alt_ergo_26.dr
[too-long-redacted] > doc/generated/drivers-all.dot
ccomps -X smt-libv2.gen doc/generated/drivers-all.dot >
doc/generated/drivers-smt.dot
/bin/sh: 1: ccomps: not found
make[2]: *** [Makefile:1878: doc/generated/drivers-smt.dot] Error 127
make[2]: *** Deleting file 'doc/generated/drivers-smt.dot'
make[2]: Leaving directory '/<<PKGBUILDDIR>>'
make[1]: *** [debian/rules:29: override_dh_auto_build-indep] Error 2
make[1]: Leaving directory '/<<PKGBUILDDIR>>'
make: *** [debian/rules:10: binary] Error 2
dpkg-buildpackage: error: debian/rules binary subprocess returned exit status 2
G.
--- End Message ---
--- Begin Message ---
Source: graphviz
Source-Version: 14.1.1-2
Done: Laszlo Boszormenyi (GCS) <[email protected]>
We believe that the bug you reported is fixed in the latest version of
graphviz, 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 [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Laszlo Boszormenyi (GCS) <[email protected]> (supplier of updated graphviz
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 [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Jan 2026 19:24:29 +0100
Source: graphviz
Architecture: source
Version: 14.1.1-2
Distribution: unstable
Urgency: medium
Maintainer: Laszlo Boszormenyi (GCS) <[email protected]>
Changed-By: Laszlo Boszormenyi (GCS) <[email protected]>
Closes: 1124659
Changes:
graphviz (14.1.1-2) unstable; urgency=medium
.
* Add bcomps and ccomps binaries to graphviz-tools package
(closes: #1124659).
Checksums-Sha1:
3bc69ef9216e6193ba09c8841c669cd7e191528a 5281 graphviz_14.1.1-2.dsc
7c24583aa624c80f7091d15333a3f078df70b18f 39928 graphviz_14.1.1-2.debian.tar.xz
Checksums-Sha256:
988ab1376082888039f4d78413b9aff8590cc28c597533d71cca9f10d0bd437b 5281
graphviz_14.1.1-2.dsc
d6b7634c7ccd43d5746a53ce6602427f3abcae3282251ed56f21df7410fab8a4 39928
graphviz_14.1.1-2.debian.tar.xz
Files:
9a8ed6d7208f4d9c551abd71e916a9f9 5281 graphics optional graphviz_14.1.1-2.dsc
417c23c7de29b071b0e4b46040602e10 39928 graphics optional
graphviz_14.1.1-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEfYh9yLp7u6e4NeO63OMQ54ZMyL8FAmlcPL8ACgkQ3OMQ54ZM
yL+H5RAAgj3QdV5GEX9PcmmqIViE2FPZ/R0+w7FULwKVbLdRY1Sm19cNKWapobeW
KD21A7IeIYiCv0aVEWpwQ9/W5+UM8fgqIvHlg3org1hcd1AiR4iamP0c5LhDU+bR
de8PB/XW51jw1xAjwR8PhcmyWFbQpcgcJgcdT3SbZVwtoeR8h+5iZQGWy02o7VKN
BtseunV9aNgUvk/brfWlvKbh4Zsb0MoaTHULmeWhSL7y3tliXQE8EEaZGvXlLnbp
77Za/2ex5lUE7qILe39NHCEpsBE4qBUMt49j3G5fw3JginlfgsP5aGzXyxSO/CzF
K3cyqJmnl+0bl5iXFKiTzKozaNjnB/JD3Z3fXyzWscjLMTip5zX7bsQ66n4BihhD
gpRcoIPil/p2vNX386T3DDkv4pHRKfBVxqFfsgM7Jky5GEEUFTaOP8/eMo3cJx/o
TB9Qr/QJVsAMIrZXw5uOJdSKLsbP2ztfSSCJuI7GsvgXLZfYiKil3sQHFFO4s8Oc
v4zE/afOX2nvukLK24X/WA/vU8+a/mkPAeBuSZr36mSuKUa89oYBKQY6/KNiAGU2
Bgfy3rpKlkxJGTAu50oc+H2Ap+V13NYRNtsquM/at3YUW8bZG/3g0vB5WEXwYbcv
4E3s6rWVlqEMUOFYDyFkz0VWkox6Am+71eD3g1dA8Iq5uTAnhGE=
=0ZBW
-----END PGP SIGNATURE-----
pgpj3Egkut0rb.pgp
Description: PGP signature
--- End Message ---
